Journal of the ACM Bibliography

John K. Dixon. Z-resolution: Theorem-proving with compiled axioms. Journal of the ACM, 20(1):127-147, January 1973. [BibTeX entry]
Additional Key Words and Phrases: LISP, LISP 1.6, partial evaulation, artificial intelligence, heuristic procedure, compiler, semantic compiler, specialization, resolution, thoerem proving, compiling axioms, predicate calculus

Selected references


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