| 1999 | Algebraic Specification and Program Development by Stepwise Refinement. | Donald Sannella |
| 1999 | Making Mercury Programs Tail Recursive. | Peter Ross, David Overton, Zoltan Somogyi |
| 1999 | Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs. | Germn Puebla, Francisco Bueno, Manuel V. Hermenegildo |
| 1999 | Transformation Rules for Logic Programs with Goals as Arguments. | Alberto Pettorossi, Maurizio Proietti |
| 1999 | Imperative Program Specialisation: An Approach Using CLP. | Julio C. Peralta, John P. Gallagher |
| 1999 | Verification by Testing for Recursive Program Schemes. | Daniel Le Mtayer, Valrie-Anne Nicolas, Olivier Ridoux |
| 1999 | Infinite State Model Checking by Abstract Interpretation and Program Specialisation. | Michael Leuschel, Thierry Massart |
| 1999 | Roles of Program Extension. | Ralf Lmmel, Gnter Riedewald, Wolfgang Lohmann |
| 1999 | Annotations for Prolog - A Concept and Runtime Handling. | Marija Kulas |
| 1999 | Specialising Fininte Domain Programs Using Polyhedra. | Jacob M. Howe, Andy King |
| 1999 | Context-Moving Transformations for Function Verification. | Jrgen Giesl |
| 1999 | Constraint Logic Programming Applied to Model Checking. | Laurent Fribourg |
| 1999 | On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational Logic. | Juliana Kster Filipe, Kung-Kiu Lau, Mario Ornaghi, Hirokazu Yatsu |
| 1999 | Proof Obligations of the B Formal Method: Local Proofs Ensure Global Consistency. | Mireille Ducass, Laurence Roz |
| 1999 | Transformation of Left Terminating Programs. | Annalisa Bossi, Nicoletta Cocco, Sandro Etalle |
| 1999 | The Replacement Operation for CCP Programs. | Marco Bertolino, Sandro Etalle, Catuscia Palamidessi |
| 1998 | Schema-Guided Synthesis of CLP Programs. | Hamza Zidoum, Pierre Flener, Brahim Hnich |
| 1998 | Algorithms for Synthesizing Reactive Systems: A Perspective (Abstract). | Pierre Wolper |
| 1998 | Bottom-Up Specialisation of Logic Programs. | Wim Vanhoof, Danny De Schreye, Bern Martens |
| 1998 | Invariant Discovery via Failed Proof Attempts. | Jamie Stark, Andrew Ireland |
| 1998 | Preventing Instantiation Errors and Loops for Logic Programs with Multiple Modes Using block Declarations. | Jan-Georg Smaus, Patricia M. Hill, Andy King |
| 1998 | An Exhaustive-Search Method Using Layered Streams Obtained Through a Meta-Interpreter for Chain Programs. | David A. Rosenblueth |
| 1998 | Pragmatics in the Synthesis of Logic Programs. | David Stuart Robertson, Jaume Agust-Cullell |
| 1998 | Abstract: Proof Planning with Program Schemas. | Julian Richardson |
| 1998 | Myrtle: A Set-Oriented Meta-Interpreter Driven by a "Relational" Trace for Deductive Databases Debugging. | Sarah Mallet, Mireille Ducass |