SCOTT: Semantically constrained otter system description

  • John Slaney
  • Ewing Lusk
  • William McCune
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 814)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    W. McCune, OTTER 2.0 Users Guide, Technical report ANL-90/9, Argonne National Laboratory, Argonne, IL, 1990.Google Scholar
  2. 2.
    W. McCune & L. Wos, Experiments in Automated Deduction with Condensed Detachment, Proc. 11th International Conference on Automated Deduction, 1992, pp. 209–223.Google Scholar
  3. 3.
    J. Slaney, SCOTT: A Model-Guided Theorem Prover, Proc. 13th International Joint Conference on Artificial Intelligence, 1993, pp. 109–114.Google Scholar
  4. 4.
    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.Google Scholar
  5. 5.
    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.Google Scholar

Copyright information

© Springer-Verlag 1994

Authors and Affiliations

  • John Slaney
    • 1
  • Ewing Lusk
    • 2
  • William McCune
    • 2
  1. 1.Australian National UniversityCanberraAustralia
  2. 2.Argonne National LaboratoryArgonneUSA

Personalised recommendations