Automatic finite unfolding using well-founded measures (1996)

by B Martens, D De Schreye
Venue:The Journal of Logic Programming