| 1997 | On Correct Program Schemas. | Pierre Flener, Kung-Kiu Lau, Mario Ornaghi |
| 1997 | Termination Analysis for Tabled Logic Programming. | Stefaan Decorte, Danny De Schreye, Michael Leuschel, Bern Martens, Konstantinos Sagonas |
| 1997 | Implicit Program Synthesis by a Reversible Metainterpreter. | Henning Christiansen |
| 1997 | Logic Program Schemas, Constraints, and Semi-unification. | Eric Chasseur, Yves Deville |
| 1997 | Generalised Logic Program Transformation Schemas. | Halime Bykyildiz, Pierre Flener |
| 1997 | Programs Without Failures. | Annalisa Bossi, Nicoletta Cocco |
| 1997 | A Multi-level Approach to Program Synthesis. | Wolfgang Bibel, Daniel S. Korn, Christoph Kreitz, F. Kurucz, Jens Otten, Stephen Schmitt, G. Stolpmann |
| 1996 | Abstract Specialization and Its Application to Program Parallelization. | Germn Puebla, Manuel V. Hermenegildo |
| 1996 | Enhancing Partial Deduction via Unfold/Fold Rules. | Alberto Pettorossi, Maurizio Proietti, Sophie Renault |
| 1996 | Partial Deduction in the Framework of Structural Synthesis of Programs. | Mihhail Matskin, Henryk Jan Komorowski, John Krogstie |
| 1996 | Typed Norms for Typed Logic Programs. | Jonathan C. Martin, Andy King, Paul Soper |
| 1996 | Redundant Argument Filtering of Logic Programs. | Michael Leuschel, Morten Heine Srensen |
| 1996 | Logic Program Specialisation: How to Be More Specific (Abstract). | Michael Leuschel, Danny De Schreye |
| 1996 | Forms of Logic Specifications: A Preliminary Study. | Kung-Kiu Lau, Mario Ornaghi |
| 1996 | Conjunctive Partial Deduction in Practice. | Jesper Jrgensen, Michael Leuschel, Bern Martens |
| 1996 | Refining Specifications to Logic Programs. | Ian J. Hayes, R. G. Nickson, Paul A. Strooper |
| 1996 | Extensible Logic Program Schemata. | Timothy S. Gegg-Harrison |
| 1996 | Symbolic Verification with Gap-Order Constraints. | Laurent Fribourg, Julian Richardson |
| 1996 | Reductions of Petri Nets and Unfolding of Propositional Logic Programs. | Laurent Fribourg, Hans Olsn |
| 1996 | Synthesis of Proof Procedures for Default Reasoning. | Phan Minh Dung, Robert A. Kowalski, Francesca Toni |
| 1996 | Specification-Based Automatic Verification of Prolog Programs. | Agostino Cortesi, Baudouin Le Charlier, Sabina Rossi |
| 1996 | A Transformation Tool for Pure Prolog Programs. | Jacob Brunekreef |
| 1996 | Specialising Meta-level Compositions of Logic Programs. | Antonio Brogi, Simone Contiero |
| 1996 | Replacement Can Preserve Termination. | Annalisa Bossi, Nicoletta Cocco |
| 1996 | Inferring Argument Size Relationships with CLP(R). | Florence Benoy, Andy King |