Sergio Antoy, Stephen Johnson. Formalization and abstract implementation of rewriting with nested rules. In Eugenio Moggi, David Scott Warren, editors, Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 24-26 August 2004, Verona, Italy. pages 144-154, ACM, 2004. [doi]
Abstract is missing.