@INPROCEEDINGS{AntoyJohnson04ppdp,
 author = "S. Antoy and S. Johnson",
 title = {Formalization and abstract implementation of rewriting with nested rules},
 booktitle = {PPDP '04: Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming},
 year = {2004},
 isbn = {1-58113-819-9},
 pages = {144--154},
 location = {Verona, Italy},
 doi = {http://doi.acm.org/10.1145/1013963.1013981},
 publisher = {ACM},
 address = {New York, NY, USA},
 }