| 1997 | Logic Programming Synthesis and Transformation, 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings John P. Gallagher |
| 1996 | A Transformation Tool for Pure Prolog Programs. Jacob Brunekreef |
| 1996 | Abstract Specialization and Its Application to Program Parallelization. Germán Puebla, Manuel V. Hermenegildo |
| 1996 | Conjunctive Partial Deduction in Practice. Jesper Jørgensen, Michael Leuschel, Bern Martens |
| 1996 | Enhancing Partial Deduction via Unfold/Fold Rules. Alberto Pettorossi, Maurizio Proietti, Sophie Renault |
| 1996 | Extensible Logic Program Schemata. Timothy S. Gegg-Harrison |
| 1996 | Forms of Logic Specifications: A Preliminary Study. Kung-Kiu Lau, Mario Ornaghi |
| 1996 | Inferring Argument Size Relationships with CLP(R). Florence Benoy, Andy King |
| 1996 | Logic Program Specialisation: How to Be More Specific (Abstract). Michael Leuschel, Danny De Schreye |
| 1996 | Partial Deduction in the Framework of Structural Synthesis of Programs. Mihhail Matskin, Henryk Jan Komorowski, John Krogstie |
| 1996 | Reductions of Petri Nets and Unfolding of Propositional Logic Programs. Laurent Fribourg, Hans Olsén |
| 1996 | Redundant Argument Filtering of Logic Programs. Michael Leuschel, Morten Heine Sørensen |
| 1996 | Refining Specifications to Logic Programs. Ian J. Hayes, R. G. Nickson, Paul A. Strooper |
| 1996 | Replacement Can Preserve Termination. Annalisa Bossi, Nicoletta Cocco |
| 1996 | Specialising Meta-level Compositions of Logic Programs. Antonio Brogi, Simone Contiero |
| 1996 | Specification-Based Automatic Verification of Prolog Programs. Agostino Cortesi, Baudouin Le Charlier, Sabina Rossi |
| 1996 | Symbolic Verification with Gap-Order Constraints. Laurent Fribourg, Julian Richardson |
| 1996 | Synthesis of Proof Procedures for Default Reasoning. Phan Minh Dung, Robert A. Kowalski, Francesca Toni |
| 1996 | Typed Norms for Typed Logic Programs. Jonathan C. Martin, Andy King, Paul Soper |