SRI International's TACITUS system
Jerry R. Hobbs · 1991
This site report is intended as a companion piece to the System Summary appearing in this volume and is best read in conjunction with it. In particular, it refers to the various modules of the system which are described in that paper.