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

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