| 1994 | Towards Efficient Calculi for Resource-Oriented Deductive Planning. | Stefan Brning |
| 1994 | On Anti-Links. | Bernhard Beckert, Reiner Hhnle, Anavai Ramesh, Neil V. Murray |
| 1994 | On Conditional Rewrite Systems with Extra Variables and Deterministic Logic Programs. | Jrgen Avenhaus, Carlos Lora-Senz |
| 1994 | Program Extraction in a Logical Framework Setting. | Penny Anderson |
| 1993 | Reasoning, Modeling, and Component-Based Technology. | Peter Wegner |
| 1993 | Neutralization and Preemtion in Extended Logic Programs. | Gerd Wagner |
| 1993 | A Comparison of Mechanisms for Avoiding Repetition of Subdeductions in Chain Formal Linear Deduction Systems. | Geoff Sutcliffe |
| 1993 | A Complete Axiom System for Isomorphism of Types in Closed Categories. | Sergei Soloviev |
| 1993 | Extracting Inheritance Hierarchies from Prolog Programs: A System Based on the Inference of Type Relations. | Christine Solnon, Michel Rueher |
| 1993 | Unification in Order-Sorted Logic With Term Declarations. | Rolf Socher-Ambrosius |
| 1993 | Unification Under One-Sided Distributivity with a Multiplicative Unit. | Manfred Schmidt-Schau |
| 1993 | Non-Clausal Deductive Techniques for Computing Prime Implicants and Prime Implicates. | Anavai Ramesh, Neil V. Murray |
| 1993 | Default Reasoning with a Constraint Resolution Principle. | Sven Eric Panitz |
| 1993 | Optimized Translation of Multi Modal Logic into Predicate Logic. | Hans Jrgen Ohlbach |
| 1993 | Mixing metafor. | Breanndn Nuallin |
| 1993 | Generic Resolution in Propositional Modal Systems. | Hans de Nivelle |
| 1993 | Refinements and Extensions of Model Elimination. | Klaus Mayr |
| 1993 | Sequentialization of Parallel Logic Programs with Mode Analysis. | Barton C. Massey, Evan Tick |
| 1993 | Incresing the Versatility of Heuristic Based Theorem Provers. | Alistair Manning, Andrew Ireland, Alan Bundy |
| 1993 | Executable Specifications based on Dynamic Algebras. | Angelica Maria Kappel |
| 1993 | The Completion of Typed Logic Programs and SLDNF-Resolution. | Patricia M. Hill |
| 1993 | Deciding in HFS-Theory via Linear Integer Programming. | Mohamed Hibti, Henri Lombardi, Bruno Legeard |
| 1993 | Reasoning About the Reals: The Marriage of HOL and Maple. | John Harrison, Laurent Thry |
| 1993 | Verification of Switch-Level Designs with Many-Valued Logic. | Reiner Hhnle, Werner Kernig |
| 1993 | System Description of LAMBDALG - A Higher Order Algebraic Specification Language. | Yexuan Gui, Mitsuhiro Okada |