Formalization and abstract implementation of rewriting with nested rules.

Sergio Antoy Stephen Johnson Formalization and abstract implementation of rewriting with nested rules. 144-154 2004 conf/ppdp/2004 PPDP http://doi.acm.org/10.1145/1013963.1013981 db/conf/ppdp/ppdp2004.html#AntoyJ04