A Machine Program for Theorem-Proving
The program of a proof procedure is discussed in
connection with trial runs and possible improvements.
CACM July, 1962
Davis, M.
Logemann, G.
Loveland, D.
