Implementing a Finite-domain CLP-language on Top of Prolog: a Transformational Approach. - Henk Vandecasteele; Danny De Schreye (LPAR, 1994)

A Finite Domain CLP Solver on Top of Mercury. - Henk Vandecasteele; Bart Demoen; Gerda Janssens (New Trends in Constraints, 1999)

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

Constraint-based termination analysis of logic programs. - Stefaan Decorte; Danny De Schreye; Henk Vandecasteele (ACM Trans. Program. Lang. Syst., 1999)

Executing Query Packs in ILP. - Hendrik Blockeel; Luc Dehaspe; Bart Demoen; Gerda Janssens; Jan Ramon; Henk Vandecasteele (ILP, 2000)

Two Advanced Transormations for Improving the Efficiency of an ILP system. - Hendrik Blockeel; Bart Demoen; Gerda Janssens; Henk Vandecasteele; Wim Van Laer (ILP Work-in-progress reports, 2000)

Improving the Efficiency of Inductive Logic Programming Through the Use of Query Packs. - Hendrik Blockeel; Luc Dehaspe; Bart Demoen; Gerda Janssens; Jan Ramon; Henk Vandecasteele (J. Artif. Intell. Res., 2002)

Query Transformations for Improving the Efficiency of ILP Systems. - Vítor Santos Costa; Ashwin Srinivasan 001; Rui Camacho; Hendrik Blockeel; Bart Demoen; Gerda Janssens; Jan Struyf; Henk Vandecasteele; Wim Van Laer (J. Mach. Learn. Res., 2003)

An Open Ended Tree. - Henk Vandecasteele; Gerda Janssens (Theory Pract. Log. Program., 2003)

Fast Query Evaluation with (Lazy) Control Flow Compilation. - Remko Tronçon; Gerda Janssens; Henk Vandecasteele (ICLP, 2004)

Fast Frequent Querying with Lazy Control Flow Compilation. - Remko Tronçon; Gerda Janssens; Bart Demoen; Henk Vandecasteele (Theory Pract. Log. Program., 2007)