| 1989 | Non-deterministic Stream AND-Parallelism Based on Intelligent Backtracking. | Christian Codognet, Philippe Codognet |
| 1989 | Narrowing Grammars. | H. Lewis Chau, Douglas Stott Parker Jr. |
| 1989 | Continuity, Consistency, and Completeness Properties for Logic Programs. | Lawrence Cavedon |
| 1989 | On the Efficiency of Optimising Shallow Backtracking in Compiled Prolog. | Mats Carlsson |
| 1989 | Scheduling Or-parallelism in Aurora: The Manchester Scheduler. | Alan Calderwood, Pter Szeredi |
| 1989 | Model Theoretic, Fixpoint and Operational Semantics for a Distributed Logic Language. | Antonio Brogi, Roberto Gorrieri |
| 1989 | An Extension of WAM for K-LEAF: A WAM-based Compilation of Conditional Narrowing. | Pier Giorgio Bosco, Carlo Cecchi, Corrado Moiso |
| 1989 | Constraint Hierarchies and Logic Programming. | Alan Borning, Michael J. Maher, Amy Martindale, Molly Wilson |
| 1989 | Semantic Models for a Version of PARLOG. | Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten |
| 1989 | A Relevant Scheme for Prolog Extensions: CLP(Conceptual Theory). | Henri Behringer, Franck Porcher |
| 1989 | Pandora: Non-deterministic Parallel Logic Programming. | Reem Bahgat, Steve Gregory |
| 1989 | Projections Instead of Variables: A Category Theoretic Interpretation of Logic Programs. | Andrea Asperti, Simone Martini |
| 1989 | On the Safe Termination of PROLOG Programs. | Krzysztof R. Apt, Roland N. Bol, Jan Willem Klop |
| 1989 | Towards Distributed Tools for Heterogeneous Logic Programming Environments. | Jos A. S. Alegria, Artur M. Dias, Lus Caires |
| 1988 | Design and Implementation of a Logic Based Language for Data Intensive Applications. | Carlo Zaniolo |
| 1988 | A Pragmatic Approach to Equational Logic Programming. | Joseph L. Zachary |
| 1988 | A Type Inference System for Prolog. | Jiyang Xu, David Scott Warren |
| 1988 | An Extended Dataflow Model of FGHC. | Handong Wu |
| 1988 | Transparent And-Parallelism in the Presence of Shared Free Variables. | William H. Winsborough, Annika Wrn |
| 1988 | On the Practicality of Global Flow Analysis of Logic Programs. | Richard A. Warren, Manuel V. Hermenegildo, Saumya K. Debray |
| 1988 | An Implementation Technique for the Abstract Interpretation of Prolog. | Annika Wrn |
| 1988 | Types of Trilogy. | Paul J. Voda |
| 1988 | A Data-Driven Parallel Execution Model for Logic Programs. | Chien-Chao Tseng, Prasenjit Biswas |
| 1988 | A Parallel Chart Parser for the Committed Choice Non-Deterministic Logic Languages. | Rajiv Trehan, Paul F. Wilk |
| 1988 | Localizing the GHC Suspension Test. | Hamish Taylor |