Higher-order rewriting: Framework, confluence and termination (2005)

by J-P Jouannaud
Venue:Processes, Terms and Cycles