Higher-order rewrite systems and their confluence (1998)

by Richard Mayr
Venue:Theoretical Computer Science
Citations:63 - 1 self