| 1993 | A Monotonicity Theorem for Extended Logic Programs. | Hudson Turner |
| 1993 | Adding Abstraction to Logic Programming. The Logistic Approach. | George K. Tsiknis |
| 1993 | Concurrent Logic Programs | Evan Tick, Bart Massey, Ferenc Rakoczi, Putthi Tulayathun |
| 1993 | Performance Evaluation of Monaco Compiler and Runtime Kernel. | Evan Tick, C. Banerjee |
| 1993 | Non-Associative Blackboard Programming. | Paul Tarau, Koenraad De Bosschere |
| 1993 | Predicting Optimal AND-Parallelism at Compile Time. | S. M. S. Syed-Mustaffa, Hugh Glaser |
| 1993 | Prolog-D-Linda v2: A New Embedding of Linda in SICStus Prolog. | Geoff Sutcliffe |
| 1993 | Implementing Sets with Hash Tabels in Declarative Languages. | Giancarlo Succi, Giuseppe Marino, Cristina Dondina, Angelo Bergamini |
| 1993 | Implementing Sets with Hash Tabels in Declarative Languages. | Giancarlo Succi, Giuseppe Marino, Angelo Bergamini, Cristina Dondina, Tullio Vernazza, Giancarlo Colla |
| 1993 | An Algorithm for General Set Unification and its Complexity. | Frieder Stolzenburg |
| 1993 | A Survey of Oz - A Higher-order Concurrent Constraint Language. | Gert Smolka |
| 1993 | MultiLog: Data Or-Parallel Logic Programming. | Donald A. Smith |
| 1993 | Initial Performance of Dorpp: an Or-Parallel Prolog System for a Distributed Shared Memory Architecture. | Fernando M. A. Silva |
| 1993 | Or-Parallel Prolog on Distributed Shared-Memory Architectures. | Fernando M. A. Silva |
| 1993 | Divided We Stand: Parallel Distributed Stack Memory Management. | Kish Shen, Manuel V. Hermenegildo |
| 1993 | Implementing Dynamic Dependent And-Parallelism. | Kish Shen |
| 1993 | BlackLog: From Blackboard System to Process-Oriented Prolog. | David G. Schwartz, Leon Sterling |
| 1993 | Complexity Issues in Supporting Queries Involving Intermediate Sets in Relational Database Systems. | Lawrence V. Saxton, Latha S. Colby, Dirk Van Gucht |
| 1993 | Negation in Disjunctive Logic Programs. | Chiaki Sakama, Katsumi Inoue |
| 1993 | Towards Abstract Interpretation of AKL. | Dan Sahlin, Thomas Sjland |
| 1993 | Logic Programming System Prolog-plus. | Michael Reviakin |
| 1993 | Proving Termination of GHC Programs. | M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar |
| 1993 | Representation of Sets in PROLOG. | Christian Posthoff, Sabine Schumann |
| 1993 | The Beauty and the Beast Algorithm: Testing Entailment and Disentailment Incrementally. | Andreas Podelski, Peter Van Roy |
| 1993 | Temporal Reasoning in Logic Programming: A Case for the Situation Calculus. | Javier Pinto, Raymond Reiter |