| 1994 | Distributed Theorem Proving by Peers. | Maria Paola Bonacina, William McCune |
| 1994 | KoMeT. | Wolfgang Bibel, Stefan Brning, Uwe Egly, Thomas Rath |
| 1994 | leanT | Bernhard Beckert, Joachim Posegga |
| 1994 | A Completion-Based Method for Mixed Universal and Rigid E-Unification. | Bernhard Beckert |
| 1994 | PROTEIN: A PROver with a Theory Extension INterface. | Peter Baumgartner, Ulrich Furbach |
| 1994 | Model Elimination Without Contrapositives. | Peter Baumgartner, Ulrich Furbach |
| 1994 | Termination Orderings for Rippling. | David A. Basin, Toby Walsh |
| 1994 | A New Application for Explanation-Based Generalisation within Automated Deduction. | Siani Baker |
| 1994 | Ordered Chaining for Total Orderings. | Leo Bachmair, Harald Ganzinger |
| 1994 | The QED Manifesto. | anonymous |
| 1994 | Representing Proof Transformations for Program Optimizations. | Penny Anderson |
| 1992 | Proving the Chinese Remainder Theorem by the Cover Set Induction. | Hantao Zhang, Xin Hua |
| 1992 | Herky: High Performance Rewriting in RRL. | Hantao Zhang |
| 1992 | A Parallel Completion Procedure for Term Rewriting Systems. | Katherine A. Yelick, Stephen J. Garland |
| 1992 | The Impossibility of the Automation of Logical Reasoning. | Larry Wos |
| 1992 | RVF: An Automated Formal Verification System. | Tie-Cheng Wang, Allen Goldberg |
| 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 | One More Logic with Uncertainty and Resolution Principle for it. | Konstantin Vershinin, Igor Romanenko |
| 1992 | An Overview of FRAPPS 2.0: A Framework for Resolution-based Automated Proof Procedure Systems. | Toms E. Uribe, Alan M. Frisch, Michael K. Mitchell |
| 1992 | Sorted Unification Using Set Constraints. | Toms E. Uribe |
| 1992 | The Semantically Guided Linear Deduction System. | Geoff Sutcliffe |
| 1992 | Linear-Input Subset Analysis. | Geoff Sutcliffe |
| 1992 | Puzzles and Paradoxes (Abstract). | Raymond M. Smullyan |
| 1992 | Proof Search in the Intuitionistic Sequent Calculus. | Natarajan Shankar |