1. Solvable Cases of the Decision Problem;ACKERMANN,1962
2. Fact retrieval and deductive question-answering information retrieval systems;COOPER;J. ACM.,1964
3. DAVIS, M. (1963) Eliminating the irrelevant from mechanical proofs, Proc. Symposia in Applied Maths, Vol. XV, A.M.S. (Ed. Metropolis et al.), p. 15.
4. A machine program for theorem proving;DAVIS;Comm. ACM.,1962
5. A computing procedure for quantification theory;DAVIS;J. ACM.,1960