John K. Dixon
James R. Slagle and John K. Dixon.
Experiments with some programs that search game trees.
Journal of the ACM
, 16(2):189-207, April 1969.
References, Citations, etc.
John K. Dixon.
Z-resolution: Theorem-proving with compiled axioms.
Journal of the ACM
, 20(1):127-147, January 1973.
References, etc.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database