Higher-Order Unification with Dependent Types. Rewriting (1989)

by C Elliott
Venue:Techniques and Applications, Springer-Verlag LNCS 355, 121