Journal of the ACM Bibliography

James R. Slagle. An approach for finding C-linear complete inference systems. Journal of the ACM, 19(3):496-516, July 1972. [BibTeX entry]
Additional Key Words and Phrases: theorem-proving, completeness theorems, inference systems, linear deduction, linear refutation, inference rules, resolution principle, paramodulation, transitivity axiom, set membership axiom, artificial intelligence, deduction, refutation, mathematical logic, predicate calculus

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