| 1982 | 6th Conference on Automated Deduction, New York, USA, June 7-9, 1982, Proceedings Donald W. Loveland |
| 1982 | A Look at TPS. Dale A. Miller, Eve Longini Cohen, Peter B. Andrews |
| 1982 | An Example of FOL Using Metatheory. Richard W. Weyhrauch |
| 1982 | Automatic Construction of Special Purpose Programs. Chris Goad |
| 1982 | Comparison of Natural Deduction and Locking Resolution Implementations. Steven Greenbaum, A. Nagasaka, Paul O'Rorke, David A. Plaisted |
| 1982 | Deciding Combinations of Theories. Robert E. Shostak |
| 1982 | Derived Preconditions and Their Use in Program Synthesis. Douglas R. Smith |
| 1982 | Exponential Improvement of Efficient Backtracking: A Strategy for Plan-Based Deduction. Tomasz Pietrzykowski, Stan Matwin |
| 1982 | Exponential Improvement of Efficient Backtracking: data Structure and Implementation. Stan Matwin, Tomasz Pietrzykowski |
| 1982 | Improvements of a Tautology-Testing Algorithm. K. M. Hörnig, Wolfgang Bibel |
| 1982 | Intuitonistic Basis for Non-Monotonic Logic. Dov M. Gabbay |
| 1982 | Knowledge Retrieval as Limited Inference. Alan M. Frisch, James F. Allen |
| 1982 | Logic Machine Architecture: Inference Mechanisms. Ewing L. Lusk, William McCune, Ross A. Overbeek |
| 1982 | Logic Machine Architecture: Kernel Funtions. Ewing L. Lusk, William McCune, Ross A. Overbeek |
| 1982 | Meta-Level Inference and Program Verification. Leon Sterling, Alan Bundy |
| 1982 | On Indefinite Databases and the Closed World Assumption. Jack Minker |
| 1982 | Procedure Implementation Through Demodulation and Related Tricks. Steven K. Winker, Larry Wos |
| 1982 | Proof by Matrix Reduction as Plan + Validation. Ricardo Caferra |
| 1982 | Representing Infinite Sequences of Resolvents in recursive First-Order Horn Databases. Lawrence J. Henschen, Shamim A. Naqvi |
| 1982 | STP: A Mechanized Logic for Specification and Verification. Robert E. Shostak, Richard L. Schwartz, P. M. Melliar-Smith |
| 1982 | Solving Open Questions with an Automated Theorem-Proving Program. Larry Wos |
| 1982 | The Application of Homogenization to Simultaneous Equations. Bernard Silver |
| 1982 | The Power of the Church-Rosser Property for String Rewriting Systems. Ronald V. Book |
| 1982 | Universal Unification and a Classification of Equational Theories. Jörg H. Siekmann, Peter Szabó |