The higher-order recursive path ordering (1999)

by J-P Jouannaud, A Rubio
Venue:Proceedings of the 14th Annual Symposium on Logic in Computer Science (LICS’99