Authors: Decorte, S De Schreye, D Vandecasteele, H

Citation: S. Decorte et al., Constraint-based termination analysis of logic programs, ACM T PROGR, 21(6), 1999, pp. 1137-1195