J. A. Robinson
J. A. Robinson.
Theorem-proving on the computer.
Journal of the ACM
, 10(2):163-174, April 1963.
References and Citations.
J. A. Robinson.
A machine-oriented logic based on the resolution principle.
Journal of the ACM
, 12(1):23-41, January 1965.
References and Citations.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database