A semantic basis for termination analysis of logic programs (1999)

by M Codish, C Taboch
Venue:Journal of Logic Programming