| 1993 | SelfLog: Language and Implementation. | Michele Bugliesi, Giuseppe Nardiello |
| 1993 | Temporal Logic Programming with Bounded Universal Modality Goals. | Christoph Brzoska |
| 1993 | Extensional and Intensional Sets in CLP with Intensional Negation. | Paola Bruscoli, Gianfranco Rossi, Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli |
| 1993 | Proofs about Programs in Classical Set Theory. | Paul Broome |
| 1993 | Continuations in Lambda-Prolog. | Pascal Brisset, Olivier Ridoux |
| 1993 | A New Fixpoint Semantics for Prolog. | Annalisa Bossi, Michele Bugliesi, Massimo Fabris |
| 1993 | Some Issues in the Implementation of a Unix-based Blackboard. | Koenraad De Bosschere, Paul Tarau |
| 1993 | Multi-Prolog: Definition, Operational Semantics and Implementation. | Koenraad De Bosschere, Jean-Marie Jacquet |
| 1993 | Full Prolog in a Nutshell. | Egon Brger, Dean Rosenzweig |
| 1993 | Transaction Logic Programming. | Anthony J. Bonner, Michael Kifer |
| 1993 | The Underlying Search for Magic Templates and Tabulation. | Roland N. Bol, Lars Degerstedt |
| 1993 | Industrial Disposing Problem Solved in CHIP. | Raymond Bisdorff, Sophie Laurent |
| 1993 | Reform Prolog: The Language and Its Implementation. | Johan Bevemyr, Thomas Lindgren, Hkan Millroth |
| 1993 | Boolean Pseudo-equations in Constraint Logic Programming. | Frdric Benhamou, Jean-Luc Massat |
| 1993 | Scheduling Speculative Work in Or-Parallel Prolog Systems. | Tony Beaumont, David H. D. Warren |
| 1993 | Independence in Constraint Logic Programs. | Maria J. Garca de la Banda, Manuel V. Hermenegildo, Kim Marriott |
| 1993 | The SQL Interface of MProlog. | Kalman Balogh |
| 1993 | A CLP Language Handling Disjunctions of Linear Constraints. | Bruno De Backer, Henri Beringer |
| 1993 | Constraints over Homogeneous Hereditarily Finite Sets. | Fabrice Ambert, Mohamed Hibti, Henri Lombardi, Bruno Legeard |
| 1993 | Scheduling Speculative Work in MUSE. | Khayri A. M. Ali, Roland Karlsson |
| 1993 | Unification of Hyperset Terms. | Davide Aliffi, Gianfranco Rossi, Agostino Dovier, Eugenio G. Omodeo |
| 1993 | An Informal Introduction to LIFE. | Hassan At-Kaci, Andreas Podelski, Peter Van Roy |
| 1993 | Order-Sorted Feature Theory Unification. | Hassan At-Kaci, Andreas Podelski, Seth Copen Goldstein |
| 1992 | Efficiently Estimating Relative Grain Size for Logic Programs on Basic of Abstract Interpretation. | Shan-Wen Yan |
| 1992 | Synthesis and Transformation of Logic Programs in the Whelk Proof Development System. | Geraint A. Wiggins |