Characterizing termination of logic programs with level mapping (1992)

by M Bezem
Venue:Journal of Logic Programming