Automatic Termination Analysis. - Kristof Verschaetse; Stefaan Decorte; Danny De Schreye (LOPSTR, 1992)

Automatic Inference of Norms: A Missing Link in Automatic Termination Analysis. - Stefaan Decorte; Danny De Schreye; Massimo Fabris (ILPS, 1993)

Termination of Logic Programs: The Never-Ending Story. - Danny De Schreye; Stefaan Decorte (J. Log. Program., 1994)

Demand-Driven and Constraint-Based Automatic Left-Termination Analysis for Logic Programs. - Stefaan Decorte; Danny De Schreye (ICLP, 1997)

Termination Analysis for Tabled Logic Programming. - Stefaan Decorte; Danny De Schreye; Michael Leuschel; Bern Martens; Konstantinos Sagonas (LOPSTR, 1997)

Termination Analysis: Some Practical Properties of the Norm and Level Mapping Space. - Stefaan Decorte; Danny De Schreye (IJCSLP, 1998)

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