Proving Termination Properties of Prolog Programs: A Semantic Approach (1992)

by M Baudinet
Venue:Journal of Logic Programming