| 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 | A First Order Resolution Calculus with Symmetries. Uwe Egly |
| 1993 | A New Type Theory for Representing Logics. Philippa Gardner |
| 1993 | A Proof Search System for a Modal Substructural Logic Based on Labelled Deductive Systems. Hiu Fai Chau |
| 1993 | Computing Extensions of Default Logic - Preliminary Report. Grigoris Antoniou, Elmar Langetepe, Volker Sperschneider |
| 1993 | Consistency Checking of Automata Functional Specifications. Anatoli N. Chebotarev, Marina K. Morokhobets |
| 1993 | Deciding in HFS-Theory via Linear Integer Programming. Mohamed Hibti, Henri Lombardi, Bruno Legeard |
| 1993 | Default Reasoning with a Constraint Resolution Principle. Sven Eric Panitz |
| 1993 | Entailment and Disentailment of Order-Sorted Feature Constraints. Hassan Aït-Kaci, Andreas Podelski |
| 1993 | Executable Specifications based on Dynamic Algebras. Angelica Maria Kappel |
| 1993 | Extracting Inheritance Hierarchies from Prolog Programs: A System Based on the Inference of Type Relations. Christine Solnon, Michel Rueher |
| 1993 | Generic Resolution in Propositional Modal Systems. Hans de Nivelle |
| 1993 | Incresing the Versatility of Heuristic Based Theorem Provers. Alistair Manning, Andrew Ireland, Alan Bundy |
| 1993 | Linear 0-1 Inequalities and Extended Clauses. Peter Barth |
| 1993 | Logic Programming and Automated Reasoning,4th International Conference, LPAR'93, St. Petersburg, Russia, July 13-20, 1993, Proceedings Andrei Voronkov |
| 1993 | MULTILOG: A System for Axiomatizing Many-valued Logics. Matthias Baaz, Christian G. Fermüller, Arie Ovrutcki, Richard Zach |
| 1993 | Mixing metafor. Breanndán Ó Nualláin |
| 1993 | Neutralization and Preemtion in Extended Logic Programs. Gerd Wagner |
| 1993 | Non-Clausal Deductive Techniques for Computing Prime Implicants and Prime Implicates. Anavai Ramesh, Neil V. Murray |
| 1993 | Optimized Translation of Multi Modal Logic into Predicate Logic. Hans Jürgen Ohlbach |
| 1993 | Ordered Paramodulation and Resolution as Decision Procedure. Christian G. Fermüller, Gernot Salzer |
| 1993 | Parsing with DCG-terms. Andrew Davison |
| 1993 | Prolog with Arrays and Bounded Quantifications. Jonas Barklund, Johan Bevemyr |
| 1993 | Reasoning About the Reals: The Marriage of HOL and Maple. John Harrison, Laurent Théry |
| 1993 | Reasoning, Modeling, and Component-Based Technology. Peter Wegner |
| 1993 | Refinements and Extensions of Model Elimination. Klaus Mayr |
| 1993 | SKIL: A System for Programming with Proofs. Didier Galmiche, O. Hermann |
| 1993 | Search Space Pruning by Checking Dynamic Term Growth. Stefan Brüning |
| 1993 | Sequentialization of Parallel Logic Programs with Mode Analysis. Barton C. Massey, Evan Tick |
| 1993 | Static Analysis of Prolog with Cut. Gilberto Filé, Sabina Rossi |
| 1993 | System Description of LAMBDALG - A Higher Order Algebraic Specification Language. Yexuan Gui, Mitsuhiro Okada |
| 1993 | The Completion of Typed Logic Programs and SLDNF-Resolution. Patricia M. Hill |
| 1993 | Unification Under One-Sided Distributivity with a Multiplicative Unit. Manfred Schmidt-Schauß |
| 1993 | Unification in Order-Sorted Logic With Term Declarations. Rolf Socher-Ambrosius |
| 1993 | Verification of Switch-Level Designs with Many-Valued Logic. Reiner Hähnle, Werner Kernig |
| 1993 | Yet Another Application for Topie: Verification of Mutual Exclusion Algorithms. Marc-Michel Corsini, Alain Griffault, Antoine Rauzy |