Within ARM's reach : compilation of left-linear rewrite systems via minimalrewrite systems
Wan J. Fokkink, Jasper F.T Kamperman, H. R. J. Walters · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 1997
A new compilation technique for left-linear term-rewriting systems is presented, where rewrite rules are transformed into so-called minimal rewrite rules. These minimal rules have such a simple form that they can be viewed as instructions for an abstract rewriting machine (ARM). 1