Higher-Order Narrowing with Definitional Trees (1999)

by M Hanus, C Prehofer
Venue:Journal of Functional Programming