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

by Jean-Pierre Jouannaud, Albert Rubio
Venue:In RTA'96