The Early History of Automated Deduction.

Martin Davis The Early History of Automated Deduction. 3-15 2001 books/el/RobinsonV01 Handbook of Automated Reasoning db/books/collections/RobinsonV01.html#Davis01