Iréne Durand;Bruno Salinier
-;-
Lazy rewriting on eager machinery
ACM Transactions on Programming Languages and Systems (TOPLAS)