Journal of the ACM Bibliography

James R. Slagle. Automatic theorem proving with built-in theories including equality, partial ordering, and sets. Journal of the ACM, 19(1):120-135, January 1972. [BibTeX entry]
Additional Key Words and Phrases: theorem proving, built-in theories, theories with equality, partial ordering, set theory, resolution principle, paramodulation, refutation completeness, inference rules, artificial intelligence, deduction, mathematical logic

Selected papers that cite this one

Selected references


  • Journal of the ACM homepage
  • Bibliography top level
  • Journal of the ACM Author Index
  • Search the HBP database