| 1998 | Improving Homeomorphic Embedding for Online Termination. | Michael Leuschel |
| 1998 | OOD Frameworks in Component-Based Software - Development in Computational Logic. | Kung-Kiu Lau, Mario Ornaghi |
| 1998 | Inferring and Compiling Termination for Constraint Logic Programs. | Sbastien Hoarau, Frdric Mesnard |
| 1998 | Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes. | Andreas Hamfelt, Jrgen Fischer Nilsson |
| 1998 | Generalization in Hierarchies of Online Program Specialization Systems. | Robert Glck, John Hatcliff, Jesper Jrgensen |
| 1998 | Strictness Analysis as Finite-Domain Constraint Solving. | Tihomir Gabric, Kevin Glynn, Harald Sndergaard |
| 1998 | Attempto Controlled English - Not Just Another Logic Specification Language. | Norbert E. Fuchs, Uta Schwertel, Rolf Schwitter |
| 1998 | The Use of Renaming in Composing General Programs. | Antonio Brogi, Simone Contiero, Franco Turini |
| 1998 | Specialising Logic Programs with Respect to Call?Post Specifications. | Annalisa Bossi, Sabina Rossi |
| 1998 | Success in Logic Programs. | Annalisa Bossi, Nicoletta Cocco |
| 1998 | Logical Synthesis of Imperative O. O. Programs. | Patrick Bellot, Bernard J. Robinet |
| 1998 | A Step Towards a Methodology for Mercury Program Construction: A Declarative Semantics for Mercury. | Dante Baldan, Baudouin Le Charlier, Christophe Leclre, Isabelle Pollet |
| 1998 | Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems. | Jeffrey Van Baalen, Steve Roach |
| 1998 | Mathematical Foundations for Program Transformations. | Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili |
| 1998 | Synthesis of Programs in Abstract Data Types. | Alessandro Avellone, Mauro Ferrari, Pierangelo Miglioli |
| 1997 | To Parse or Not To Parse. | Wim Vanhoof, Bern Martens |
| 1997 | A Logic Framework for the Incremental Inductive Synthesis of Datalog Theories. | Giovanni Semeraro, Floriana Esposito, Donato Malerba, Nicola Fanizzi, Stefano Ferilli |
| 1997 | Constrained Regular Approximation of Logic Programs. | Hseyin Saglam, John P. Gallagher |
| 1997 | Development of Correct Transformation Schemata for Prolog Programs. | Julian Richardson, Norbert E. Fuchs |
| 1997 | A Higher Order Reconstruction of Stepwise Enhancement. | Lee Naish, Leon Sterling |
| 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 |
| 1997 | Preserving Termination of Tabled Logic Programs While Unfolding. | Michael Leuschel, Bern Martens, Konstantinos Sagonas |
| 1997 | Constraint-Based Partial Evaluation of Rewriting-Based Functional Logic Programs. | Laura Lafave, John P. Gallagher |
| 1997 | Analysis of Logic Programs with Delay. | Andrew Heaton, Patricia M. Hill, Andy King |