Wan Fokkink Jasper Kamperman Pum Walters Within ARM's Reach: Compilation of Left-Linear Rewrite Systems via Minimal Rewrite Systems. 679-706 1998 20 ACM Trans. Program. Lang. Syst. 3 http://doi.acm.org/10.1145/291889.291903 db/journals/toplas/toplas20.html#FokkinkKW98