On the Existence of Nonterminating Queries for a Restricted Class of PROLOG-Clauses. - Danny De Schreye; Maurice Bruynooghe; Kristof Verschaetse (Artif. Intell., 1989)

A Practical Technique for Detecting Non-terminating Queries for a Restricted Class of Horn Clauses, Using Directed, Weighted Graphs. - Danny De Schreye; Kristof Verschaetse; Maurice Bruynooghe (ICLP, 1990)

Generation and Compilation of Efficient Computation Rules. - Kristof Verschaetse; Danny De Schreye; Maurice Bruynooghe (ICLP, 1990)

Deriving Termination Proofs for Logic Programs, Using Abstract Procedures. - Kristof Verschaetse; Danny De Schreye (ICLP, 1991)

A Framework for Analyzing the Termination of Definite Logic Programs with respect to Call Patterns. - Danny De Schreye; Kristof Verschaetse; Maurice Bruynooghe (FGCS, 1992)

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

Tutorial on Termination of Logic Programs. - Danny De Schreye; Kristof Verschaetse (META, 1992)

Deriving of Linear Size Relations by Abstract Interpretation. - Kristof Verschaetse; Danny De Schreye (PLILP, 1992)

Deriving Linear Size Relations for Logic Programs by Abstract Interpretation. - Danny De Schreye; Kristof Verschaetse (New Gener. Comput., 1995)