Residuals in higher-order rewriting (2003)

by H J S Bruggink
Venue:Proceedings of Rewriting Techniques and Applications (RTA’03