Journal of the ACM Bibliography

Tomasz Pietrzykowski. A complete mechanization of second-order type theory. Journal of the ACM, 20(2):333-365, April 1973. [BibTeX entry]
Additional Key Words and Phrases: theorem-proving, resolution, second-order logic, type theory, unification, matching

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