T.: Higher-order rewrite systems and their confluence (1998)

by R Mayr, Nipkow
Venue:Theoretical Computer Science