| 1999 |
|---|
| 7 | EE | Stefaan Decorte,
Danny De Schreye,
Henk Vandecasteele:
Constraint-based termination analysis of logic programs.
ACM Trans. Program. Lang. Syst. 21(6): 1137-1195 (1999) |
| 1998 |
|---|
| 6 | | Stefaan Decorte,
Danny De Schreye:
Termination Analysis: Some Practical Properties of the Norm and Level Mapping Space.
IJCSLP 1998: 235-249 |
| 1997 |
|---|
| 5 | | Stefaan Decorte,
Danny De Schreye:
Demand-Driven and Constraint-Based Automatic Left-Termination Analysis for Logic Programs.
ICLP 1997: 78-92 |
| 4 | EE | Stefaan Decorte,
Danny De Schreye,
Michael Leuschel,
Bern Martens,
Konstantinos F. Sagonas:
Termination Analysis for Tabled Logic Programming.
LOPSTR 1997: 111-127 |
| 1994 |
|---|
| 3 | | Danny De Schreye,
Stefaan Decorte:
Termination of Logic Programs: The Never-Ending Story.
J. Log. Program. 19/20: 199-260 (1994) |
| 1993 |
|---|
| 2 | | Stefaan Decorte,
Danny De Schreye,
Massimo Fabris:
Automatic Inference of Norms: A Missing Link in Automatic Termination Analysis.
ILPS 1993: 420-436 |
| 1992 |
|---|
| 1 | | Kristof Verschaetse,
Stefaan Decorte,
Danny De Schreye:
Automatic Termination Analysis.
LOPSTR 1992: 168-183 |
