| 1993 | An Argumentation Semantics for Logic Programming with Explicit Negation. | Phan Minh Dung |
| 1993 | Representing Actions in Logic Programming and Its Applications in Database Updates. | Phan Minh Dung |
| 1993 | Freeness Analysis in the Presence of Numerical Constraints. | Veroniek Dumortier, Gerda Janssens, Maurice Bruynooghe, Michael Codish |
| 1993 | Prototyping Through Lindenbaum Algebras. | Ernst-Erich Doberkat |
| 1993 | A Minimal Extension of the WAM for clp(FD). | Daniel Diaz, Philippe Codognet |
| 1993 | Moving Prolog Toward Objects. | Enrico Denti, Antonio Natali, Andrea Omicini |
| 1993 | Call Forwarding: A Simple Low-Level Code Optimization Technique. | Saumya K. Debray, Koenraad De Bosschere, David Gudeman |
| 1993 | Implementing Logic Programming Systems: The Quiche-Eating Approach. | Saumya K. Debray |
| 1993 | On Copy Avoidance in Single Assignment Languages. | Saumya K. Debray |
| 1993 | Extracting Determinacy in Logic Programs. | Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar |
| 1993 | Extending the Parallel Logic Programming Paradigm with Linda-like Operations. | Grzegorz Czajkowski, Krzysztof Zielinski |
| 1993 | How Concurrent Logic Programming Could Benefit from Using Linda-like Operations. | Grzegorz Czajkowski, Krzysztof Zielinski |
| 1993 | Memory Management in Quintus Prolog. | Jim A. Crammond, Tim Lindholm |
| 1993 | Safety Analysis by Means of Fault Trees: An Application for Open Boolean Solvers. | Marc-Michel Corsini, Antoine Rauzy |
| 1993 | Solving Linear Diophantine Constraints Incrementally. | Evelyne Contejean |
| 1993 | Boolean Constraint Solving Using clp(FD). | Philippe Codognet, Daniel Diaz |
| 1993 | Freeness Analysis for Logic Programs - And Correctness? | Michael Codish, Dennis Dams, Gilberto Fil, Maurice Bruynooghe |
| 1993 | I.C. Prolog II: a Multi-threaded Prolog System. | Damian Chu, Keith L. Clark |
| 1993 | I.C. Prolog II: a Multi-threaded Prolog System. | Damian Chu |
| 1993 | A Portable and Reasonably Efficient Implementation of KL1. | Takashi Chikayama, Tetsuro Fujise, Hiroshi Yashiro |
| 1993 | Marrying LO with SP. | Stefania Castellani, Paolo Ciancarini, Sonia Pompei |
| 1993 | Some Paradigms for Visualizing Parallel Execution of Logic Programs. | Manuel Carro, Luis Manuel Gmez Henrquez, Manuel V. Hermenegildo |
| 1993 | Automatic Frequency Assignment for Cellular Telephones Using Constraint Satisfaction Techniques. | Mats Carlsson, Mats Grindal |
| 1993 | Aspects of Constraint Solving for AKL (Extended Abstract). | Bjrn Carlson, Sverker Janson, Johan Montelius |
| 1993 | Proving Set-Theoretic Formulae by a Tableaux Method. | Domenico Cantone, Rosa Ruggeri Cannata |