Peter B. Andrews
Peter B. Andrews.
Resolution with merging.
Journal of the ACM
, 15(3):367-381, July 1968.
References and Citations.
Peter B. Andrews.
A correction concerning resolution.
Journal of the ACM
, 15(4):720, October 1968.
References.
Peter B. Andrews.
Theorem proving via general mappings.
Journal of the ACM
, 28(2):193-214, April 1981.
Citations.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database