The Higher-Order Recursive Path Ordering.

Jean-Pierre Jouannaud, Albert Rubio

Browse the full LICS paper archive.