Journal of the ACM Bibliography

Ross A. Overbeek. A new class of automated theorem-proving algorithms. Journal of the ACM, 21(2):191-200, April 1974. [BibTeX entry]
Additional Key Words and Phrases: automated theorem-proving, resolution, hyperresolution

Selected references


Shortcuts:

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