| 1993 | A New Type Theory for Representing Logics. | Philippa Gardner |
| 1993 | SKIL: A System for Programming with Proofs. | Didier Galmiche, O. Hermann |
| 1993 | Static Analysis of Prolog with Cut. | Gilberto Fil, Sabina Rossi |
| 1993 | Ordered Paramodulation and Resolution as Decision Procedure. | Christian G. Fermller, Gernot Salzer |
| 1993 | A First Order Resolution Calculus with Symmetries. | Uwe Egly |
| 1993 | Parsing with DCG-terms. | Andrew Davison |
| 1993 | Yet Another Application for Topie: Verification of Mutual Exclusion Algorithms. | Marc-Michel Corsini, Alain Griffault, Antoine Rauzy |
| 1993 | Consistency Checking of Automata Functional Specifications. | Anatoli N. Chebotarev, Marina K. Morokhobets |
| 1993 | A Proof Search System for a Modal Substructural Logic Based on Labelled Deductive Systems. | Hiu Fai Chau |
| 1993 | Search Space Pruning by Checking Dynamic Term Growth. | Stefan Brning |
| 1993 | Linear 0-1 Inequalities and Extended Clauses. | Peter Barth |
| 1993 | Prolog with Arrays and Bounded Quantifications. | Jonas Barklund, Johan Bevemyr |
| 1993 | MULTILOG: A System for Axiomatizing Many-valued Logics. | Matthias Baaz, Christian G. Fermller, Arie Ovrutcki, Richard Zach |
| 1993 | Computing Extensions of Default Logic - Preliminary Report. | Grigoris Antoniou, Elmar Langetepe, Volker Sperschneider |
| 1993 | Entailment and Disentailment of Order-Sorted Feature Constraints. | Hassan At-Kaci, Andreas Podelski |
| 1992 | Towards Probabilistic Knowledge Bases. | Beat Wthrich |
| 1992 | Computing Induction Axioms. | Christoph Walther |
| 1992 | CHIP and Propia. | Mark Wallace, Thierry Le Provost |
| 1992 | Netlog - A Concept Oriented Logic Programming Language. | Alexander V. Voinov |
| 1992 | The EKS-V1 System. | Laurent Vieille, Petra Bayer, Volker Kchenhoff, Alexandre Lefebvre, Rainer Manthey |
| 1992 | Building Proofs by Analogy via the Curry-Horward Isomorphism. | Thierry Boy de la Tour, Christoph Kreitz |
| 1992 | Parallel Computation of Multiple Sets-of_Support. | Christian B. Suttner |
| 1992 | EUODHILOS: A General Reasoning System for a Variety of Logics. | Hajime Sawamura, Toshiro Minami, Kyoko Ohashi |
| 1992 | Infinite, Canonical String Rewriting Systems Generated by Completion. | Andrea Sattler-Klein |
| 1992 | The Unification of Infinite Sets of Terms and Its Applications. | Gernot Salzer |