| 1992 | Logic Program Synthesis via Proof Planning. | Ina Kraan, David A. Basin, Alan Bundy |
| 1992 | Applications of Unfolding in Prolog Programming. | John Jones |
| 1992 | Efficient Compilation of Lazy Narrowing into Prolog. | Jos Andr Jimnez-Martin, Julio Mario-Carballo, Juan Jos Moreno-Navarro |
| 1992 | Intensional Query Answering: An Application of Partial Evaluation. | Giuseppe De Giacomo |
| 1992 | Deletion of Redundant Unary Type Predicates from Logic Programs. | John P. Gallagher, D. Andre de Waal |
| 1992 | A Unifying View of Structural Induction and Computation Induction for Logic Programs. | Laurent Fribourg, Hans Olsn |
| 1992 | On the Transformation of a Prolog Program to a More Efficient Binary Program. | Bart Demoen |
| 1992 | Deriving Transformations for Logic Programs Using Abstract Interpretation. | Dmitri Boulanger, Maurice Bruynooghe |
| 1991 | Synthesis and Transfomation of Logic Programs from Constructive, Inductive Proof. | Geraint A. Wiggins, Alan Bundy, Ina Kraan, Jane Hesketh |
| 1991 | Formal Validation of Transformation Schemata. | Mattias Waldau |
| 1991 | Specialisation of a Unification Algorithm. | D. Andre de Waal, John P. Gallagher |
| 1991 | Using a Prolog Prototype for Designing an Object Oriented Scheme. | Christine Solnon, Michel Rueher |
| 1991 | Global Search Algorithms and the Constraint Logic Programming Framework (Extended Abstract). | S. Schaeck |
| 1991 | Semantics-based Partial Evaluation of Prolog Programs. | Brian J. Ross |
| 1991 | Formal Program Development in Modular Prolog: A Case Study. | M. G. Read, E. A. Kazmierczak |
| 1991 | An Automatic Transfomation Strategy for Avoiding Unnecessary Variables in Logic Programs (Extended Abstract). | Maurizio Proietti, Alberto Pettorossi |
| 1991 | Towards Synthesis of Nearly Pure Prolog Programs (Extende Abstract). | Lubos Popelnsk |
| 1991 | Prolog Program Transformations and Meta-Interpreters. | Anne Parrain, Philippe Devienne, Patrick Lebgue |
| 1991 | A Method for the Determinisation of Propositional Temporal Formulae. | Philippe Nol |
| 1991 | Pruning Operators for Partial Evaluation. | P. M. Mill |
| 1991 | Program Specification and Synthesis in Constructive Formal Systems. | Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi |
| 1991 | Program Equivalence, Program Development and Integrity Checking. | Jonathan M. Lever |
| 1991 | Abstract Interpretation and Recursive Behaviour of Logic Programs. | Christophe Lecoutre, Philippe Devienne, Patrick Lebgue |
| 1991 | Query Optimization in an Object-Oriented Database using Prolog (Extende Abstract). | Zhuoan Jiao, Peter M. D. Gray |
| 1991 | Inductive Synthesis of Rewrite Rules as Program Synthesis (Extended Abstract). | Klaus P. Jantke, Ulf Goldhammer |