| 1992 | &: Automated Natural Deduction. Dave Barker-Plummer, Sidney C. Bailin, Andrew S. Merrill |
| 1992 | A Combinatory Logic Approach to Higher-order E-unification (Extended Abstract). Daniel J. Dougherty, Patricia Johann |
| 1992 | A Geometry Theorem Prover for Macintoshes. Shang-Ching Chou |
| 1992 | A Many Sorted Logic with Possibly Empty Sorts. Anthony G. Cohn |
| 1992 | A Natural Deduction Automated Theorem Proving System. Li Dafa |
| 1992 | A Normal Form for First-Order Temporal Formulae. Michael Fisher |
| 1992 | A Parallel Completion Procedure for Term Rewriting Systems. Katherine A. Yelick, Stephen J. Garland |
| 1992 | A Report in ICL HOL. K. Blackburn |
| 1992 | An Abstract View of Sorted Unification. Alan M. Frisch, Anthony G. Cohn |
| 1992 | An Improved Method for Adding Equality to Free Variable Semantic Tableaux. Bernhard Beckert, Reiner Hähnle |
| 1992 | An Interval-based Temporal Logic in a Multivalued Setting. Mathias Bauer |
| 1992 | An Overview of FRAPPS 2.0: A Framework for Resolution-based Automated Proof Procedure Systems. Tomás E. Uribe, Alan M. Frisch, Michael K. Mitchell |
| 1992 | Analytica - A Theorem Prover in Mathematica. Edmund M. Clarke, Xudong Zhao |
| 1992 | Automated Correctness Proofs of Machine Code Programs for a Commercial Microprocessor. Robert S. Boyer, Yuan Yu |
| 1992 | Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings Deepak Kapur |
| 1992 | Automatic Program Optimization Through Proof Transformation. Peter Madden |
| 1992 | Automatic Proofs in Mathematical Logic and Analysis. Kurt Ammon |
| 1992 | Basic Paramodulation and Superposition. Leo Bachmair, Harald Ganzinger, Christopher Lynch, Wayne Snyder |
| 1992 | Benchmark Problems in Which Equality Plays the Major Role. Ewing L. Lusk, Larry Wos |
| 1992 | Caching and Lemmaizing in Model Elimination Theorem Provers. Owen L. Astrachan, Mark E. Stickel |
| 1992 | Computing Prime Implicates Incrementally. Peter Jackson |
| 1992 | Computing Transivity Tables: A Challenge For Automated Theorem Provers. David A. Randell, Anthony G. Cohn, Zhan Cui |
| 1992 | Cycle Unification. Wolfgang Bibel, Steffen Hölldobler, Jörg Würtz |
| 1992 | Decidable Matching for Convergent Systems (Preliminary Version). Nachum Dershowitz, Subrata Mitra, G. Sivakumar |
| 1992 | Difference Matching. David A. Basin, Toby Walsh |
| 1992 | Disproving Conjectures. Martin Protzen |
| 1992 | Embedding Negation as Failure into a Model Generation Theorem Prover. Katsumi Inoue, Miyuki Koshimura, Ryuzo Hasegawa |
| 1992 | Eves System Description. Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Bill Pase, Mark Saaltink |
| 1992 | Experiments in Automated Deduction with Condensed Detachment. William McCune, Larry Wos |
| 1992 | FRI: Failure-Resistant Induction in RRL. Xin Hua, Hantao Zhang |
| 1992 | Free Sequentially in Orthogonal Order-Sorted Rewriting Systems with Constructors. Delia Kesner |
| 1992 | Grammar Rewriting. David A. McAllester |
| 1992 | Herky: High Performance Rewriting in RRL. Hantao Zhang |
| 1992 | IMPS: System Description. William M. Farmer, Joshua D. Guttman, F. Javier Thayer |
| 1992 | Implementing the Meta-Theory of Deductive Systems. Frank Pfenning, Ekkehard Rohwedder |
| 1992 | Isabelle-91. Tobias Nipkow, Lawrence C. Paulson |
| 1992 | KPROP - An AND-parallel Theorem Prover for Propositional Logic implemented in KL1 (System Abstract). Johann Schumann |
| 1992 | LIM+ Challenge Problems by RUE Hyper-Resolution. Vincent J. Digricoli, Eugene Kochendorfer |
| 1992 | Linear-Input Subset Analysis. Geoff Sutcliffe |
| 1992 | Little Theories. William M. Farmer, Joshua D. Guttman, F. Javier Thayer |
| 1992 | MGTP: A Parallel Theorem Prover Based on Lazy Model Generation. Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita |
| 1992 | One More Logic with Uncertainty and Resolution Principle for it. Konstantin Vershinin, Igor Romanenko |
| 1992 | PVS: A Prototype Verification System. Sam Owre, John M. Rushby, Natarajan Shankar |
| 1992 | Polynomial Interpretations and the Complexity of Algorithms. Adam Cichon, Pierre Lescanne |
| 1992 | Programming with Equations: A Framework for Lazy Parallel Evaluation. R. C. Sekar, I. V. Ramakrishnan |
| 1992 | Proof Search in the Intuitionistic Sequent Calculus. Natarajan Shankar |
| 1992 | Proving Equality Theorems with Hyper-Linking. Geoffrey D. Alexander, David A. Plaisted |
| 1992 | Proving Geometry Statements of Constructive Type. Shang-Ching Chou, Xiao-Shan Gao |
| 1992 | Proving the Chinese Remainder Theorem by the Cover Set Induction. Hantao Zhang, Xin Hua |
| 1992 | Puzzles and Paradoxes (Abstract). Raymond M. Smullyan |
| 1992 | ROO: A Parallel Theorem Prover. Ewing L. Lusk, William McCune, John K. Slaney |
| 1992 | RVF: An Automated Formal Verification System. Tie-Cheng Wang, Allen Goldberg |
| 1992 | Reduction and Unification in Lambda Calculi with Subtypes. Tobias Nipkow, Zhenyu Qian |
| 1992 | Semantic Entailment in Non Classical Logics Based on Proofs Found in Classical Logic. Ricardo Caferra, Stéphane Demri |
| 1992 | Some Termination Criteria for Narrowing and E-Narrowing. Jim Christian |
| 1992 | Sorted Unification Using Set Constraints. Tomás E. Uribe |
| 1992 | Tactic-based Theorem Proving and Knowledge-based Forward Chaining: an Experiment with Nuprl and Ontic. Wilfred Z. Chen |
| 1992 | The Central Variable Strategy of Str+ve. Larry M. Hines |
| 1992 | The FAUST - Prover. Klaus Schneider, Ramayya Kumar, Thomas Kropf |
| 1992 | The GAZER Theorem Prover. Dave Barker-Plummer, Alex Rothenberg |
| 1992 | The Impossibility of the Automation of Logical Reasoning. Larry Wos |
| 1992 | The KIV System: Systematic Construction of Verified Software. Wolfgang Reif |
| 1992 | The SHUNYATA System. Kurt Ammon |
| 1992 | The Semantically Guided Linear Deduction System. Geoff Sutcliffe |
| 1992 | The Special-Relation Rules are Incomplete. Zohar Manna, Richard J. Waldinger |
| 1992 | The Tableau-Based Theorem Prover Bernhard Beckert, Stefan Gerberding, Reiner Hähnle, Werner Kernig |
| 1992 | The Use of Proof Plans to Sum Series. Toby Walsh, Alex Nunes, Alan Bundy |
| 1992 | Theorem Proving in Non-Standard Logics Based on the Inverse Method. Andrei Voronkov |
| 1992 | Theorem Proving with Ordering Constrained Clauses. Robert Nieuwenhuis, Albert Rubio |
| 1992 | Theoretical Study of Symmetries in Propositional Calculus and Applications. Belaid Benhamou, Lakhdar Sais |
| 1992 | Unification in Order-Sorted Algebras with Overloading. Alexandre Boudet |
| 1992 | Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures. Franz Baader, Klaus U. Schulz |
| 1992 | Uniform Traversal Combinators: Definition, Use and Properties. Leonidas Fegaras, Tim Sheard, David W. Stemple |
| 1992 | Using Middle-Out Reasoning to Control the Synthesis of Tail-Recursive Programs. Jane Hesketh, Alan Bundy, Alan Smaill |
| 1992 | Xpnet: A Graphical Interface to Proof Nets with an Efficient Proof Checker. Jawahar Chirimar, Carl A. Gunter, Myra Van Inwegen |