A recursive path ordering for higher-order terms compatible with fij-reductions (1996)

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