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

by D D Schreye, S Decorte
Venue:J. Log. Program