Within ARM's reach: Compilation of left-linear rewrite systems via minimal rewrite systems (1998)

by W J Fokkink, J F Th Kamperman, H R Walters
Venue:ACM Trans. Program. Lang. Syst