| 1998 | Logic Programming Synthesis and Transformation, 7th International Workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997, Proceedings Norbert E. Fuchs |
| 1997 | A Higher Order Reconstruction of Stepwise Enhancement. Lee Naish, Leon Sterling |
| 1997 | A Logic Framework for the Incremental Inductive Synthesis of Datalog Theories. Giovanni Semeraro, Floriana Esposito, Donato Malerba, Nicola Fanizzi, Stefano Ferilli |
| 1997 | A Multi-level Approach to Program Synthesis. Wolfgang Bibel, Daniel S. Korn, Christoph Kreitz, F. Kurucz, Jens Otten, Stephen Schmitt, G. Stolpmann |
| 1997 | Analysis of Logic Programs with Delay. Andrew Heaton, Patricia M. Hill, Andy King |
| 1997 | Constrained Regular Approximation of Logic Programs. Hüseyin Saglam, John P. Gallagher |
| 1997 | Constraint-Based Partial Evaluation of Rewriting-Based Functional Logic Programs. Laura Lafave, John P. Gallagher |
| 1997 | Development of Correct Transformation Schemata for Prolog Programs. Julian Richardson, Norbert E. Fuchs |
| 1997 | Generalised Logic Program Transformation Schemas. Halime Büyükyildiz, Pierre Flener |
| 1997 | Implicit Program Synthesis by a Reversible Metainterpreter. Henning Christiansen |
| 1997 | Logic Program Schemas, Constraints, and Semi-unification. Eric Chasseur, Yves Deville |
| 1997 | On Correct Program Schemas. Pierre Flener, Kung-Kiu Lau, Mario Ornaghi |
| 1997 | Preserving Termination of Tabled Logic Programs While Unfolding. Michael Leuschel, Bern Martens, Konstantinos Sagonas |
| 1997 | Programs Without Failures. Annalisa Bossi, Nicoletta Cocco |
| 1997 | Termination Analysis for Tabled Logic Programming. Stefaan Decorte, Danny De Schreye, Michael Leuschel, Bern Martens, Konstantinos Sagonas |
| 1997 | To Parse or Not To Parse. Wim Vanhoof, Bern Martens |
| 1997 | Towards a Logic for Reasoning About Logic Programs Transformation. Alberto Momigliano, Mario Ornaghi |
| 1997 | Unfolding the Mystery of Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik |