de Pol. Termination proofs for higher-order rewrite systems (1994)

by J van
Venue:In Proc. HOA 1993, LNCS 816