Jean-Jacques L#evy.Two generalizations of the recursive path ordering. Unpublished note (1980)

by Sam Kamin