A general clause theorem prover

  • Geoff Sutcliffe
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 449)


  1. Digricoli V.J.; Automatic Deduction and Equality; Proceedings of the 1979 Annual Conference of the ACM, 1979, pp 240–250.Google Scholar
  2. Pelletier F.J.; Seventy-five Problems for Testing Automatic Theorem Provers; Journal of Automated Reasoning 2, 1986, pp 191–216.Google Scholar
  3. Shostak R.E.; Refutation Graphs; Artificial Intelligence 7, 1976, pp 51–64.Google Scholar
  4. Sutcliffe G.; Semantic Checking for Horn Clauses; Unpublished manuscript, 1988.Google Scholar
  5. Sutcliffe G.; A General Clause Theorem Prover written in Prolog; Western Australian College of Adv. Ed., Dep't of Computer Studies, Research Report 89/2, 1989.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Geoff Sutcliffe
    • 1
  1. 1.Dep't of Computer ScienceThe University of Western AustraliaNedlands

Personalised recommendations