Proving termination properties of Prolog programs: A semantic approach (1992)

by Marianne Baudinet
Venue:Journal of Logic Programming