CORE manual /
Baker, Siani.
University of Edinburgh.Department of Artificial Intelligence.
Edinburgh : University of Edinburgh, Dept. of Artificial Intelligence,
[1992?]
Includes bibliographical references.
Proof theory.
Automatic theorem proving.