| 1993 | Towards the Synthesis of Constraint Propagation Algorithms. | Douglas R. Smith |
| 1993 | Synthesis of Programs from Unfold/Fold Proofs. | Maurizio Proietti, Alberto Pettorossi |
| 1993 | Automatic Exploitation of Non-Determinate Independent And-Parallelism in the Basic Andorra Model. | M. Olmedilla, Francisco Bueno, Manuel V. Hermenegildo |
| 1993 | A Transformation Based in the Equality Between Terms. | Ulrich Neumerkel |
| 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 | A General Technique for Automatically Generating Efficient Programs Through the Use of Proof Planning (Abstract). | Peter Madden, Jane Hesketh, Ian Green, Alan Bundy |
| 1993 | Guiding Synthesis Proofs. | Vincent Lombart, Geraint A. Wiggins, Yves Deville |
| 1993 | A Formal View of Specification, Deductive Synthesis and Transformation of Logic Programs. | Kung-Kiu Lau, Mario Ornaghi |
| 1993 | Interactive Program Derivation Using Program Schemata and Incrementally Generated Strategies. | Anna-Lena Johansson |
| 1993 | Specialising the Ground Representation in the Logic Programming Language Gdel. | Corin A. Gurr |
| 1993 | Induction of Prolog Programs with Markus. | Marko Grobelnik |
| 1993 | Using Abstract Interpretation for Goal Replacement. | Dmitri Boulanger, Maurice Bruynooghe |
| 1993 | Mechanical Transformation of Logic Definitions Augmented with Type Information into Prolog Procedures: Some Experiments. | Pierre De Boeck, Baudouin Le Charlier |
| 1993 | Inductive Synthesis of Logic Programs and Inductive Logic Programming. | Francesco Bergadano, Daniele Gunetti |
| 1992 | Automatic Termination Analysis. | Kristof Verschaetse, Stefaan Decorte, Danny De Schreye |
| 1992 | Best-first Strategies for Incremental Transformations of Logic Programs. | Maurizio Proietti, Alberto Pettorossi |
| 1992 | An Unfold Rule for Full Prolog. | Steven D. Prestwich |
| 1992 | Towards Optimization of Full Prolog Programs Guided by Abstract Interpretation. | Anne Parrain, Philippe Devienne, Patrick Lebgue |
| 1992 | Proof Nets. | Mario Ornaghi |
| 1992 | The LOPS Approach: A Transformational Point of View (Extended Abstract). | Gerd Neugebauer |
| 1992 | Deductive Synthesis of Programs for Query Answering. | Daniele Nardi, Riccardo Rosati |
| 1992 | Logimix: A Self-Applicable Partial Evaluator for Prolog. | Torben . Mogensen, Anders Bondorf |
| 1992 | Synthesis of Narrowing Programs. | Carlos Lora-Senz |
| 1992 | A Rationalisation of the ATMS in Terms of Partial Evaluation. | Evelina Lamma, Paola Mello |