Higher-Order Rewriting (1999)

by Femke Van Raamsdonk
Venue:12th Int. Conf. on Rewriting Techniques and Applications, LNCS 2051