Specialisation of a Unification Algorithm. - D. Andre de Waal; John P. Gallagher (LOPSTR, 1991)

Deletion of Redundant Unary Type Predicates from Logic Programs. - John P. Gallagher; D. Andre de Waal (LOPSTR, 1992)

The Power of Partial Evaluation. - D. Andre de Waal (LOPSTR, 1993)

Logic Program Specialisation With Deletion of Useless Clauses. - D. Andre de Waal; John P. Gallagher (ILPS, 1993)

The Applicability of Logic Program Analysis and Transformation to Theorem Proving. - D. Andre de Waal; John P. Gallagher (CADE, 1994)

Fast and Precise Regular Approximations of Logic Programs. - John P. Gallagher; D. Andre de Waal (ICLP, 1994)

Solving Deductive Planning Problems Using Program Analysis and Transformation. - D. Andre de Waal; Michael Thielscher (LOPSTR, 1995)

A Conceptual Embedding of Folding into Partial Deduction: Towards a Maximal Integration. - Michael Leuschel; Danny De Schreye; D. Andre de Waal (JICSLP, 1996)

Detecting Unsolvable Queries for Definite Logic Programs - Maurice Bruynooghe; Henk Vandecasteele; D. Andre de Waal; Marc Denecker (J. Funct. Log. Program., 1999)