| 1996 | Semantic Trees Revisited: Some New Completeness Results. | Christian G. Fermller |
| 1996 | Proof Search with Set Variable Instantiation in the Calculus of Constructions. | Amy P. Felty |
| 1996 | FasTraC: A Decentralized Traffic Control System Based on Logic Programming. | Giovanni Felici, Giovanni Rinaldi, Klaus Truemper |
| 1996 | IMPS: An Updated System Description. | William M. Farmer, Joshua D. Guttman, F. Javier Thayer |
| 1996 | On the Practical Value of Different Definitional Translations to Normal Form. | Uwe Egly, Thomas Rath |
| 1996 | Search Strategies for Resolution in Temporal Logics. | Clare Dixon |
| 1996 | Learning Domain Knowledge to Improve Theorem Proving. | Jrg Denzinger, Stephan Schulz |
| 1996 | On Shostak's Decision Procedure for Combinations of Theories. | David Cyrluk, Patrick Lincoln, Natarajan Shankar |
| 1996 | An Introduction to Geometry Expert. | Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang |
| 1996 | CtCoq: A System Presentation. | Janet Bertot, Yves Bertot |
| 1996 | The Tableau-based Theorem Prover | Bernhard Beckert, Reiner Hhnle, Peter Oel, Martin Sulzmann |
| 1996 | Structuring Metatheory on Inductive Definitions. | David A. Basin, Sen Matthews |
| 1996 | MUltlog 1.0: Towards an Expert System for Many-Valued Logics. | Matthias Baaz, Christian G. Fermller, Gernot Salzer, Richard Zach |
| 1994 | Problems on the Generation of Finite Models. | Jian Zhang |
| 1994 | On Notions of Inductive Validity for First-Oder Equational Clauses. | Claus-Peter Wirth, Bernhard Gramlich |
| 1994 | KITP-93: An Automated Inference System for Program Analysis. | Tie-Cheng Wang, Allen Goldberg |
| 1994 | Algebraic Factoring and Geometry Proving. | Dongming Wang |
| 1994 | A Divergence Critic. | Toby Walsh |
| 1994 | The Applicability of Logic Program Analysis and Transformation to Theorem Proving. | D. Andre de Waal, John P. Gallagher |
| 1994 | Associative-Commutative Deduction with Constraints. | Laurent Vigneron |
| 1994 | The TPTP Problem Library. | Geoff Sutcliffe, Christian B. Suttner, Theodor Yemenis |
| 1994 | A Novel Asynchronous Parallelism Scheme for First-Order Logic. | David B. Sturgill, Alberto Maria Segre |
| 1994 | Deductive Composition of Astronomical Software from Subroutine Libraries. | Mark E. Stickel, Richard J. Waldinger, Michael R. Lowry, Thomas Pressburger, Ian Underwood |
| 1994 | A Refined Version of General E-Unification. | Rolf Socher-Ambrosius |
| 1994 | SCOTT: Semantically Constrained Otter System Description. | John K. Slaney, Ewing L. Lusk, William McCune |