SCOTT: Semantically Constrained OTTER System Description

TitleSCOTT: Semantically Constrained OTTER System Description
Publication TypeJournal Article
Year of Publication1994
AuthorsSlaney, J, Lusk, EL, McCune, W
JournalThe International Conference on Automated Deduction (CADE-12), Lecture Notes in Computer Science, Springer
Volume814
Pagination764-768
Date Published03/1994
Abstract

This is the announcement of SCOTT 1.0 from the proceedings of CADE-12. SCOTT combines OTTER and FINDER into a new theorem prover.

URLhttp://www.springerlink.com/content/f1517p1g26q33621/
PDFhttp://www.mcs.anl.gov/papers/SCOTT.pdf