| 1992 | Logic Program Synthesis and Transformation, Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, UK, 4-5 July 1991 Timothy Paul Clement, Kung-Kiu Lau |
| 1991 | A Method for the Determinisation of Propositional Temporal Formulae. Philippe Noël |
| 1991 | Abstract Interpretation and Recursive Behaviour of Logic Programs. Christophe Lecoutre, Philippe Devienne, Patrick Lebègue |
| 1991 | An Automatic Transfomation Strategy for Avoiding Unnecessary Variables in Logic Programs (Extended Abstract). Maurizio Proietti, Alberto Pettorossi |
| 1991 | Automated Translation of Occam to a Concurrent Logic Language. Matthew M. Huntbach |
| 1991 | Formal Program Development in Modular Prolog: A Case Study. M. G. Read, E. A. Kazmierczak |
| 1991 | Formal Validation of Transformation Schemata. Mattias Waldau |
| 1991 | Global Search Algorithms and the Constraint Logic Programming Framework (Extended Abstract). S. Schaeck |
| 1991 | Inductive Synthesis of Rewrite Rules as Program Synthesis (Extended Abstract). Klaus P. Jantke, Ulf Goldhammer |
| 1991 | Non-Determinism and Lazy Evaluation in Logic Programming. Sergio Antoy |
| 1991 | On Using Mode Input-output for Transforming Logic Programs. Francis Alexandre, Khaled Bsaïes, Alain Quéré |
| 1991 | Program Equivalence, Program Development and Integrity Checking. Jonathan M. Lever |
| 1991 | Program Specification and Synthesis in Constructive Formal Systems. Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi |
| 1991 | Program Transformations Directed by the Evaluation of non Functional Properties (Extended Abstract). Yamine Aït Ameur |
| 1991 | Prolog Program Transformations and Meta-Interpreters. Anne Parrain, Philippe Devienne, Patrick Lebègue |
| 1991 | Pruning Operators for Partial Evaluation. P. M. Mill |
| 1991 | Query Optimization in an Object-Oriented Database using Prolog (Extende Abstract). Zhuoan Jiao, Peter M. D. Gray |
| 1991 | Schema-Based Transfomations of Logic Programs. Norbert E. Fuchs, Markus P. J. Fromherz |
| 1991 | Semantics-based Partial Evaluation of Prolog Programs. Brian J. Ross |
| 1991 | Specialisation of a Unification Algorithm. D. Andre de Waal, John P. Gallagher |
| 1991 | Speed-up Transformations of Logic Programs by Abstraction and Learning. Jutta Eusterbrock |
| 1991 | Synthesis and Transfomation of Logic Programs from Constructive, Inductive Proof. Geraint A. Wiggins, Alan Bundy, Ina Kraan, Jane Hesketh |
| 1991 | Towards Stepwise, Schema-guided Synthesis of Logic Programms. Pierre Flener, Yves Deville |
| 1991 | Towards Synthesis of Nearly Pure Prolog Programs (Extende Abstract). Lubos Popelínský |
| 1991 | Using a Prolog Prototype for Designing an Object Oriented Scheme. Christine Solnon, Michel Rueher |