Higher-order rewrite systems and their confluence (1998)

by R Mayr, T Nipkow
Venue:Theoretical Computer Science