| 1986 | THINKER. | Francis Jeffry Pelletier |
| 1986 | Controlling Deduction with Proof Condensation and Heuristics. | Franz Oppacher, E. Suen |
| 1986 | Matching with Distributivity. | Jalel Mzali |
| 1986 | Theory Links in Semantic Graphs. | Neil V. Murray, Erik Rosenthal |
| 1986 | AUTOLOGIC at University of Victoria. | Charles G. Morgan |
| 1986 | Unification in Boolean Rings. | Ursula Martin, Tobias Nipkow |
| 1986 | How to Clear a Block: Plan Formation in Situational Logic. | Zohar Manna, Richard J. Waldinger |
| 1986 | ITP at Argonne National Laboratory. | Ewing L. Lusk, William McCune, Ross A. Overbeek |
| 1986 | Parallel Theorem Proving with Connection Graphs. | Rasiah Loganantharaj, Robert A. Mueller |
| 1986 | A New Formula for the Execution of Categorial Combinators. | Rafael Dueire Lins |
| 1986 | The Heuristics and Experimental Results of a New Hyperparamodulation: HL-Resolution. | Younghwan Lim |
| 1986 | REVE a Rewrite Rule Laboratory. | Pierre Lescanne |
| 1986 | A Geometry Theorem Prover Based on Buchberger's Algorithm. | B. Kutzler, Sabine Stifter |
| 1986 | Resolution and Quantified Epistemic Logics. | Kurt Konolige |
| 1986 | RRL: A Rewrite Rule Laboratory. | Deepak Kapur, G. Sivakumar, Hantao Zhang |
| 1986 | Proof by Induction Using Test Sets. | Deepak Kapur, Paliath Narendran, Hantao Zhang |
| 1986 | NP-Completeness of the Set Unification and Matching Problems. | Deepak Kapur, Paliath Narendran |
| 1986 | Formulation of Induction Formulas in Verification of Prolog Programs. | Tadashi Kanamori, Hiroshi Fujita |
| 1986 | Program Verifier "Tatzelwurm": Reasoning about Systems of Linear Inequalities. | Thomas Kufl |
| 1986 | Some Contributions to the Logical Analysis of Circumscrition. | Gerhard Jger |
| 1986 | The Passau RAP System: Prototyping Algebraic Specifications Using Conditional Narrowing. | Heinrich Humann |
| 1986 | Theorem Proving Systems of the Formel Project. | Grard P. Huet |
| 1986 | Mechanizing Constructive Proofs (Abstract). | Grard P. Huet |
| 1986 | A New Method for Establishing Refutational Completeness in Theorem Proving. | Jieh Hsiang, Michal Rusinowitch |
| 1986 | Implementing Number Theory: An Experiment with Nuprl. | Douglas J. Howe |