1. Carpenter, B.E., Doran, R.W.: A. M. Turing’s Ace Report of 1946 and Other Papers. MIT Press, Cambridge (1986)
2. Davis, M.: Eliminating the irrelevant from mechanical proofs. In: Proceedings of Symposia in Applied Mathematics, vol. 15, pp. 15–30 (1963). (reprinted in [21], pp. 315–330)
3. Davis, M.: The early history of automated deduction. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, vol. 1, pp. 5–15. Elsevier, North Holland (2001)
4. Davis, M.: Obvious logical inferences. In: Proceedings of the Seventh Joint International Congress on Artificial Intelligence, pp. 530–531 (1981)
5. Davis, M.: Mathematical logic and the origin of modern computers. In: Studies in the History of Mathematics, pp. 137–165. Mathematical Association of America (1987). (reprinted in Herken, R. (ed.) The Universal Turing Machine - A Half-Century Survey, pp. 149–174. Verlag Kemmerer & Unverzagt, Oxford University Press, Hamburg (1988))