| 1992 | Logican's Workbench. | Igor Romanenko |
| 1992 | Unification in a Combination of Equational Theories with Shared Constants and its Application to Primal Algebras. | Christophe Ringeissen |
| 1992 | Soundness and Completeness of Partial Deductions for Well-Founded Semantics. | Halina Przymusinska, Teodor C. Przymusinski, Hirohisa Seki |
| 1992 | Lambda-Mu-Calculus: An Algorithmic Interpretation of Classical Natural Deduction. | Michel Parigot |
| 1992 | The KCM System: Speeding-up Logic Programming through Hardware Support. | Jacques Noy |
| 1992 | The External Database in SICStus Prolog. | Hans Nilsson |
| 1992 | Pruning Infinite Failure Branches in Programs with Occur-Check. | Ulrich Neumerkel |
| 1992 | Reform Compilation for Nonlinear Recursion. | Hkan Millroth |
| 1992 | SEPIA - a Bases for Prolog Extensions. | Micha Meier |
| 1992 | Application of Automated Deduction to the Search for Single Axioms for Exponent Groups. | William McCune, Larry Wos |
| 1992 | FRIENDLY-WAM: An Interactive Tool to Understand the Compilation of PROLOG. | Julio Garca Marrtn, Juan Jos Moreno-Navarro |
| 1992 | ProPre A Programming Language with Proofs. | Pascal Manoury, Michel Parigot, Marianne Simonot |
| 1992 | Controlling Redundancy in Large Search Spaces: Argonne-Style Theorem Proving Through the Years. | Ewing L. Lusk |
| 1992 | MIZ-PR: A Theorem Prover for Polymorphic and Recursive Functions. | Javier Leach, Susana Nieva |
| 1992 | Elementary Lower Bounds for th Length of Refutations. | Hai-Ping Ko, Mark E. Nadel |
| 1992 | Unification in Order-Sorted Type Theory. | Michael Kohlhase |
| 1992 | The Use of Planning Critics in Mechanizing Inductive Proofs. | Andrew Ireland |
| 1992 | On Deductive Planning and the Frame Problem. | Steffen Hlldobler |
| 1992 | Towards Using the Andorra Kernel Language for Industrial Real-Time Applications. | Bogumil Hausman |
| 1992 | On Resolution in Fragments of Classical Linear Logic. | James Harland, David J. Pym |
| 1992 | Relating Innermost, Weak, Uniform and Modular Termination of Term Rewriting Systems. | Bernhard Gramlich |
| 1992 | A Procedure for Automatic Proof Nets Construction. | Didier Galmiche, Guy Perrier |
| 1992 | A Two Steps Semantics for Logic Programs with Negation. | Maurizio Gabbrielli, Giorgio Levi, Daniele Turi |
| 1992 | A Cooperative Answering System. | Terry Gaasterland, Parke Godfrey, Jack Minker, Lev Novik |
| 1992 | Extending Deductive Database Languages by Embedded Implications. | Burkhard Freitag |