Termination of logic programs: The never ending story (1994)

by D De Schreye, S Decorte
Venue:The Journal of Logic Programming