| 1993 | Optative Reasoning with Scenario Semantics. | Lus Moniz Pereira, Jos Jlio Alferes |
| 1993 | To Trim or Not to Trim? | Jacques Noy |
| 1993 | Semantics and Consistency of Empirical Databases. | Raymond T. Ng |
| 1993 | Hybrid Systems and Constraint Logic Programming. | Anil Nerode, Wolf Kohn |
| 1993 | A Comparative Study on Implementing Sets in Prolog. | Toshinori Munakata |
| 1993 | Optimization Techniques for Nondeterministic Promotion in the Andorra Kernel Language. | Remco Moolenaar, Bart Demoen |
| 1993 | Contextual Nets and Constraint Logic Programming. | Ugo Montanari, Francesca Rossi, Francisco Bueno, Maria J. Garca de la Banda, Manuel V. Hermenegildo |
| 1993 | A Logic Programming Approach to Requirements Modelling and Automated Test Generation. | Leon J. Mekly, Marjorie Passini Yuhas |
| 1993 | Better Late Than Never. | Micha Meier |
| 1993 | Proving Inductive Properties of Prolog Programs in Second-Order Intuitionistic Logic. | L. Thorne McCarty |
| 1993 | Findall without findall/3. | Andr Marin |
| 1993 | Memory Management of Constraint in Flang. | Andrei Mantsivoda, Vyacheslav Petukhin, Alexei Weimann |
| 1993 | Set Descriptions in Constraint Based Grammars. | Suresh Manandhar |
| 1993 | A Logic Programming View of CLP. | Michael J. Maher |
| 1993 | Control Generation for Logic Programs. | Stefan Lttringhaus-Kappel |
| 1993 | APPLAUSE: Applications Using the ElipSys Parallel CLP System. | Liang-Liang Li, Mike Reeve, Kees Schuerman, Andr Vron, Jacques Bellone, Claudine Pradelles, Zissis Palaskas, Takis Stamatopoulos, Dominic A. Clark, Sylvie Doursenot, Christopher J. Rawlings, Jack Shirazi, Giuseppe Sardu |
| 1993 | A Formalization of Metaprogramming for real. | Giorgio Levi, Davide Ramundo |
| 1993 | An Incompleteness Result for Deductive Synthesis of Logic Programs. | Kung-Kiu Lau, Mario Ornaghi |
| 1993 | Contribution of Logic Programming to Support Telecommunications Protocol Tests. | Didier Ladret, Michel Rueher |
| 1993 | Towards Generalized Visualization Support for Logic Programming. | Anthony J. Kusalik, Gregory M. Oster |
| 1993 | Middle-Out Reasoning for Logic Program Synthesis. | Ina Kraan, David A. Basin, Alan Bundy |
| 1993 | Function-Patterns and Fan-Backtracking for Logic Programming. | Nikolai K. Kossovsky, Igor P. Solovjev |
| 1993 | A Framework for Sharing Analysis. | Andy King |
| 1993 | A Framework for Sharing Analysis. | Andy King |
| 1993 | Analysis Based Constraint Query Optimization. | David B. Kemp, Peter J. Stuckey |