Preview
Unable to display preview. Download preview PDF.
References
W. McCune, OTTER 2.0 Users Guide, Technical report ANL-90/9, Argonne National Laboratory, Argonne, IL, 1990.
W. McCune & L. Wos, Experiments in Automated Deduction with Condensed Detachment, Proc. 11th International Conference on Automated Deduction, 1992, pp. 209–223.
J. Slaney, SCOTT: A Model-Guided Theorem Prover, Proc. 13th International Joint Conference on Artificial Intelligence, 1993, pp. 109–114.
J. Slaney, FINDER, Finite Domain Enumerator: Version 2.0 Notes and Guide, Technical report TR-ARP-1/92, Automated Reasoning Project, Australian National University, Canberra, 1992.
J. Slaney, FINDER, Finite Domain Enumerator: Version 3.0 Notes and Guide, Document with program sources, anonymous ftp, arp.anu.edu.au, file ARP/FINDER/finder-3.0.1.tar.Z.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Slaney, J., Lusk, E., McCune, W. (1994). SCOTT: Semantically constrained otter system description. In: Bundy, A. (eds) Automated Deduction — CADE-12. CADE 1994. Lecture Notes in Computer Science, vol 814. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58156-1_56
Download citation
DOI: https://doi.org/10.1007/3-540-58156-1_56
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58156-7
Online ISBN: 978-3-540-48467-7
eBook Packages: Springer Book Archive