A recursive path ordering for higher-order terms in j-long fi-normal form (1996)

by Jean-Pierre Jouannaud, Albert Rubio
Venue:7th International Conference on Rewriting Techniques and Applications, volume 1103 of LNCS