Journal of the ACM Bibliography

Raymond Reiter. Two results on ordering for resolution with merging and linear format. Journal of the ACM, 18(4):630-646, October 1971. [BibTeX entry]
Additional Key Words and Phrases: automatic theorem proving, first order logic, resolution, completeness, ordering, merge, linear format, set of support

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