| 1992 | An Inductive Theorem Prover Based on Narrowing. | Ulrich Fraus, Heinrich Humann |
| 1992 | From the Past to the Future: Executing Temporal Logic Programs. | Michael Fisher, Richard Owens |
| 1992 | Disjunctive Deductive Databases. | Jos Alberto Fernndez, Jack Minker |
| 1992 | OR-Parallel Theorem Proving with Random Competition. | Wolfgang Ertel |
| 1992 | Shortening Proofs by Quantifier Introduction. | Uwe Egly |
| 1992 | Opium - A High-level Debugging Environment. | Mireille Ducass |
| 1992 | ElipSys - A Parallel Programming System based on Logic. | Michel Dorochevsky, Liang-Liang Li, Mike Reeve, Kees Schuerman, Andr Vron |
| 1992 | A Generic Logic Environment. | Mark Dawson |
| 1992 | An Application to Teaching in Logic Course of ATP Based Natural Deduction. | Li Dafa |
| 1992 | A Programming Logic for a Verified Structured Assembly Language. | Paul Curzon |
| 1992 | Two-Level Grammar: A Funtional/Logic Query Language for Database and Knowledge-Base Systems. | Barrett R. Bryant, Aiqin Pan |
| 1992 | Free Logic and Infinite Constraint Networks. | James Bowen, Dennis R. Bahler |
| 1992 | SPIKE, an Automatic Theorem Prover. | Adel Bouhoula, Emmanuel Kounalis, Michal Rusinowitch |
| 1992 | MegaLog - A Platform for Developing Knowledge Base Management Systems. | Jorge B. Bocca, Michael Dahmen, Michael Freeston |
| 1992 | Mathpert: Computer Support for Learning Algebra, Trig, and Calculus. | Michael Beeson |
| 1992 | An Order Theory Resolution Calculus. | Peter Baumgartner |
| 1992 | ISAR: An Interactive System for Algebraic Implementation Proofs. | Bernhard Bauer, Rolf Hennicker |
| 1992 | Generalized Negation As Failure and Semantics of Normal Disjunctive Logic Programs. | Chitta Baral |
| 1992 | On the Use of the Constructive Omega-Rule within Automated Deduction. | Siani Baker, Andrew Ireland, Alan Smaill |
| 1992 | General Model Theoretic Semantics for Higher-Order Horn Logic Programming. | Mino Bai, Howard A. Blair |
| 1992 | Non-Clausal Resolution and Superposition with Selection and Redundancy Criteria. | Leo Bachmair, Harald Ganzinger |
| 1992 | Resolution for Many-Valued Logics. | Matthias Baaz, Christian G. Fermller |
| 1992 | Consistency of Equational Enrichments. | Valentin M. Antimirov, Anatoli Degtyarev |
| 1992 | Linear Objects: a Logic Framework for Open System Programming. | Jean-Marc Andreoli, Remo Pareschi |
| 1992 | Spes: A System for Logic Program Transformation. | Francis Alexandre, Khaled Bsaes, Jean-Pierre Finance, Alain Qur |