Sound and complete partial deduction with unfolding based on well-founded measures, Theoretical Computer Science 122(1 (1994)

by B Martens, D De Schreye, T Horváth