Journal of the ACM Bibliography

James R. Slagle. Automated theorem-proving for theories with simplifiers, commutativity, and associativity. Journal of the ACM, 21(4):622-642, October 1974. [BibTeX entry]
Additional Key Words and Phrases: theorem-proving, efficiency, resolution principle, paramodulation, refutation completeness, unification algorithm, inference rules, artificial intelligence, mathematical logic, predicate calculus, left and right identity, commutativity, associativity, simplifiers, simplification

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