| 1994 | Logic Program Synthesis and Transformation, Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993 Yves Deville |
| 1993 | A Formal View of Specification, Deductive Synthesis and Transformation of Logic Programs. Kung-Kiu Lau, Mario Ornaghi |
| 1993 | A General Technique for Automatically Generating Efficient Programs Through the Use of Proof Planning (Abstract). Peter Madden, Jane Hesketh, Ian Green, Alan Bundy |
| 1993 | A Transformation Based in the Equality Between Terms. Ulrich Neumerkel |
| 1993 | Automatic Exploitation of Non-Determinate Independent And-Parallelism in the Basic Andorra Model. M. Olmedilla, Francisco Bueno, Manuel V. Hermenegildo |
| 1993 | Combining Prolog Programs in a Techniques Editing System (Abstract). Maria Vargas-Vera, David Stuart Robertson, Robert Inder |
| 1993 | Designing Prolog Programming Techniques. Wamberto Weber Vasconcelos |
| 1993 | Guiding Synthesis Proofs. Vincent Lombart, Geraint A. Wiggins, Yves Deville |
| 1993 | Induction of Prolog Programs with Markus. Marko Grobelnik |
| 1993 | Inductive Synthesis of Logic Programs and Inductive Logic Programming. Francesco Bergadano, Daniele Gunetti |
| 1993 | Interactive Program Derivation Using Program Schemata and Incrementally Generated Strategies. Anna-Lena Johansson |
| 1993 | Mechanical Transformation of Logic Definitions Augmented with Type Information into Prolog Procedures: Some Experiments. Pierre De Boeck, Baudouin Le Charlier |
| 1993 | Memoing with Abstract Answers and Delphi Lemmas. Paul Tarau, Koenraad De Bosschere |
| 1993 | Reachability Analysis for the Extension Procedure - A Topological Result. Gerd Neugebauer |
| 1993 | Some Further Issues in Finite Unfolding (Abstract). Bern Martens, Danny De Schreye |
| 1993 | Specialising the Ground Representation in the Logic Programming Language Gödel. Corin A. Gurr |
| 1993 | Synthesis of Programs from Unfold/Fold Proofs. Maurizio Proietti, Alberto Pettorossi |
| 1993 | The Power of Partial Evaluation. D. Andre de Waal |
| 1993 | Towards the Synthesis of Constraint Propagation Algorithms. Douglas R. Smith |
| 1993 | Using Abstract Interpretation for Goal Replacement. Dmitri Boulanger, Maurice Bruynooghe |