The higher-order recursive path ordering (1999)

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