Two generalizations of the recursive path ordering. Unpublished (1980)

by S Kamin, J-J Levy