| 1994 | Conservative Query Normalization on Parallel Circumscription. | Koji Iwanuma |
| 1994 | Synthesis of Induction Orderings for Existence Proofs. | Dieter Hutter |
| 1994 | KEIM: A Toolkit for Automated Deduction. | Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jrn Richts, Jrg H. Siekmann |
| 1994 | Omega-MKRP: A Proof Development Environment. | Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jrn Richts, Jrg H. Siekmann |
| 1994 | Reconstruction Proofs at the Assertion Level. | Xiaorong Huang |
| 1994 | Str+ve and Integers. | Larry M. Hines |
| 1994 | The Complexity of Counting Problems in Equational Matching. | Miki Hermann, Phokion G. Kolaitis |
| 1994 | Extended Path-Indexing. | Peter Graf |
| 1994 | Proving with BDDs and Control of Information. | Jean Goubault |
| 1994 | SETHEO V3.2: Recent Developments - System Abstract. | Christoph Goller, Reinhold Letz, Klaus Mayr, Johann Schumann |
| 1994 | Bottom-up Evaluation of Datalog Programs with Arithmetic Constraints. | Laurent Fribourg, Marcos Veloso Peixoto |
| 1994 | Tactic Theorem Proving with Refinement-Tree Proofs and Metavariables. | Amy P. Felty, Douglas J. Howe |
| 1994 | Proof Script Pragmatics in IMPS. | William M. Farmer, Joshua D. Guttman, Mark E. Nadel, F. Javier Thayer |
| 1994 | Pi: an Interactive Derivation Editor for the Calculus of Partial Inductive Definitions. | Lars-Henrik Eriksson |
| 1994 | Combination Techniques for Non-Disjoint Equational Theories. | Eric Domenjoud, Francis Klay, Christophe Ringeissen |
| 1994 | Exporting and Refecting Abstract Metamathematics. | Robert L. Constable |
| 1994 | Combining Symbolic Computation and Theorem Proving: Some Problems of Ramanujan. | Edmund M. Clarke, Xudong Zhao |
| 1994 | Semantically Guided First-Order Theorem Proving using Hyper-Linking. | Heng Chu, David A. Plaisted |
| 1994 | Mechanizable Inductive Proofs for a Class of Forall Exists Formulas. | Jacques Chazarain, Emmanuel Kounalis |
| 1994 | On Pot, Pans and Pudding or How to Discover Generalised Critical Pairs. | Reinhard Bndgen |
| 1994 | Detecting Non-Provable Goals. | Stefan Brning |
| 1994 | Induction using Term Orderings. | Franois Bronsard, Uday S. Reddy, Robert W. Hasker |
| 1994 | Panel Discussion: A Mechanically Proof-Checked Encyclopedia of Mathematics: Should We Build One? Can We? | Robert S. Boyer |
| 1994 | A Method for Building Models Automatically. Experiments with an Extension of OTTER. | Christophe Bourely, Ricardo Caferra, Nicolas Peltier |
| 1994 | SPIKE: a System for Sufficient Completeness and Parameterized Inductive Proofs. | Adel Bouhoula |