Theorem-Proving on the Computer

Logic and logic programming

Communications of the ACM

A Machine-Oriented Logic Based on the Resolution Principle

Journal of the ACM (JACM)

A New Class of Automated Theorem-Proving Algorithms

Journal of the ACM (JACM)

A Human Oriented Logic for Automatic Theorem-Proving

Journal of the ACM (JACM)

Curriculum 68: Recommendations for academic programs in computer science: a report of the ACM curriculum committee on computer science

Communications of the ACM

Conditional rewriting

ACM SIGSOFT Software Engineering Notes - Proceedings of VERkshop III -- a formal verification workshop

Early History and Perspectives of Automated Deduction

KI '07 Proceedings of the 30th annual German conference on Advances in Artificial Intelligence

Human decision making under uncertainty and risk: computer-based experiments and a heuristic simulation program

AFIPS '65 (Fall, part I) Proceedings of the November 30--December 1, 1965, fall joint computer conference, part I

Experiments with a theorem-utilizing program

AFIPS '64 (Spring) Proceedings of the April 21-23, 1964, spring joint computer conference

Theorem proving with variable-constrained resolution

Information Sciences: an International Journal

Approximate resolution of hard numbering problems

AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1

John McCarthy's legacy

Artificial Intelligence