| 1994 | FINDER: Finite Domain Enumerator - System Description. | John K. Slaney |
| 1994 | The Crisis in Finite Mathematics: Automated Reasoning as Cause and Cure. | John K. Slaney |
| 1994 | DELTA - A Bottom-up Preprocessor for Top-Down Theorem Provers - System Abstract. | Johann Schumann |
| 1994 | Primal Grammars and Unification Modulo a Binary Clause. | Gernot Salzer |
| 1994 | On Intuitionistic Query Answering in Description Bases. | Vronique Royer, Joachim Quantz |
| 1994 | Mollusc: A General Proof-Development Shell for Sequent-Based Logics. | Bradley L. Richards, Ina Kraan, Alan Smaill, Geraint A. Wiggins |
| 1994 | Lazy Generation of Induction Hypotheses. | Martin Protzen |
| 1994 | Decidable Higher-Order Unification Problems. | Christian Prehofer |
| 1994 | Symlog: Automated Advice in Fitch-style Proof Construction. | Frederic D. Portoraro |
| 1994 | What is a Proof? (Abstract). | Richard Platek |
| 1994 | The Search Efficiency of Theorem Proving Strategies. | David A. Plaisted |
| 1994 | Elf: A Meta-Language for Deductive Systems (System Descrition). | Frank Pfenning |
| 1994 | A Fixedpoint Approach to Implementing (Co)Inductive Definitions. | Lawrence C. Paulson |
| 1994 | EUODHILOS-II on Top of GNU Epoch. | Takeshi Ohtani, Hajime Sawamura, Toshiro Minami |
| 1994 | AC-Superposition with Constraints: No AC-Unifiers Needed. | Robert Nieuwenhuis, Albert Rubio |
| 1994 | Theory and Practice of Minimal Modular Higher-Order E-Unification. | Olaf Mller, Franz Weber |
| 1994 | Simple Termination Revisited. | Aart Middeldorp, Hans Zantema |
| 1994 | Mechanically Proving Geometry Theorems Using a Combination of Wu's Method and Collins' Method. | Nicholas Freitag McPhee, Shang-Ching Chou, Xiao-Shan Gao |
| 1994 | Strongly Analytic Tableaux for Normal Modal Logics. | Fabio Massacci |
| 1994 | Termination, Geometry and Invariants. | Ursula Martin |
| 1994 | On the Connection between Narrowing and Proof by Consistency. | Olav Lysne |
| 1994 | Semantic Tableaux with Ordering Restrictions. | Stefan Klingenbeck, Reiner Hhnle |
| 1994 | A Mechanization of Strong Kleene Logic for Partial Functions. | Manfred Kerber, Michael Kohlhase |
| 1994 | Unification in an Extensional Lambda Calculus with Ordered Function Sorts and Constant Overloading. | Patricia Johann, Michael Kohlhase |
| 1994 | Exploring Abstract Algebra in Constructive Type Theory. | Paul B. Jackson |