| 1992 | A Normal Form for First-Order Temporal Formulae. | Michael Fisher |
| 1992 | Uniform Traversal Combinators: Definition, Use and Properties. | Leonidas Fegaras, Tim Sheard, David W. Stemple |
| 1992 | IMPS: System Description. | William M. Farmer, Joshua D. Guttman, F. Javier Thayer |
| 1992 | Little Theories. | William M. Farmer, Joshua D. Guttman, F. Javier Thayer |
| 1992 | A Combinatory Logic Approach to Higher-order E-unification (Extended Abstract). | Daniel J. Dougherty, Patricia Johann |
| 1992 | LIM+ Challenge Problems by RUE Hyper-Resolution. | Vincent J. Digricoli, Eugene Kochendorfer |
| 1992 | Decidable Matching for Convergent Systems (Preliminary Version). | Nachum Dershowitz, Subrata Mitra, G. Sivakumar |
| 1992 | A Natural Deduction Automated Theorem Proving System. | Li Dafa |
| 1992 | Eves System Description. | Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Bill Pase, Mark Saaltink |
| 1992 | A Many Sorted Logic with Possibly Empty Sorts. | Anthony G. Cohn |
| 1992 | Analytica - A Theorem Prover in Mathematica. | Edmund M. Clarke, Xudong Zhao |
| 1992 | Polynomial Interpretations and the Complexity of Algorithms. | Adam Cichon, Pierre Lescanne |
| 1992 | Some Termination Criteria for Narrowing and E-Narrowing. | Jim Christian |
| 1992 | Proving Geometry Statements of Constructive Type. | Shang-Ching Chou, Xiao-Shan Gao |
| 1992 | A Geometry Theorem Prover for Macintoshes. | Shang-Ching Chou |
| 1992 | Xpnet: A Graphical Interface to Proof Nets with an Efficient Proof Checker. | Jawahar Chirimar, Carl A. Gunter, Myra Van Inwegen |
| 1992 | Tactic-based Theorem Proving and Knowledge-based Forward Chaining: an Experiment with Nuprl and Ontic. | Wilfred Z. Chen |
| 1992 | Semantic Entailment in Non Classical Logics Based on Proofs Found in Classical Logic. | Ricardo Caferra, Stphane Demri |
| 1992 | Automated Correctness Proofs of Machine Code Programs for a Commercial Microprocessor. | Robert S. Boyer, Yuan Yu |
| 1992 | Unification in Order-Sorted Algebras with Overloading. | Alexandre Boudet |
| 1992 | A Report in ICL HOL. | K. Blackburn |
| 1992 | Cycle Unification. | Wolfgang Bibel, Steffen Hlldobler, Jrg Wrtz |
| 1992 | Theoretical Study of Symmetries in Propositional Calculus and Applications. | Belaid Benhamou, Lakhdar Sais |
| 1992 | An Improved Method for Adding Equality to Free Variable Semantic Tableaux. | Bernhard Beckert, Reiner Hhnle |
| 1992 | The Tableau-Based Theorem Prover | Bernhard Beckert, Stefan Gerberding, Reiner Hhnle, Werner Kernig |