Journal of the ACM Bibliography

James R. Slagle. Interpolation theorems for resolution in lower predicate calculus. Journal of the ACM, 17(3):535-542, July 1970. [BibTeX entry]
Additional Key Words and Phrases: automatic theorem proving, automatic consequence finding, consequence finding, Craig's lemma, interpolation theorem, mathematical logic, resolution, theorem proving

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