DOI: 10.1145/368273.368557 ISSN:
A machine program for theorem-proving
Martin Davis, George Logemann, Donald Loveland- General Computer Science
The programming of a proof procedure is discussed in connection with trial runs and possible improvements.