Two generalizations of the recursive path ordering, Unpublished manuscript (1980)

by S Kamin, J Levy