Schreye, Automatic finite unfolding using well-founded measures (1996)

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