Technical Report TR-ARP-3-94

Automated Reasoning Project
Research School of Information Sciences and Engineering
and Centre for Information Science Research
Australian National University

March 26, 1994

SCOTT: SEMANTICALLY CONSTRAINED

OTTER

SYSTEM DESCRIPTION

John Slaney, Ewing Lusk and William McCune

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.