Bernhard Gramlich, Salvador Lucas. Simple termination of context-sensitive rewriting. In Bernd Fischer, Eelco Visser, editors, Proceedings of the 2002 ACM SIGPLAN Workshop on Rule-Based Programming, Pittsburgh, Pennsylvania, USA, 2002. pages 29-42, ACM, 2002. [doi]
@inproceedings{GramlichL02:1,
title = {Simple termination of context-sensitive rewriting},
author = {Bernhard Gramlich and Salvador Lucas},
year = {2002},
doi = {10.1145/570186.570189},
url = {http://doi.acm.org/10.1145/570186.570189},
tags = {termination, graph-rewriting, context-aware, rewriting},
researchr = {https://researchr.org/publication/GramlichL02%3A1},
cites = {0},
citedby = {0},
pages = {29-42},
booktitle = {Proceedings of the 2002 ACM SIGPLAN Workshop on Rule-Based Programming, Pittsburgh, Pennsylvania, USA, 2002},
editor = {Bernd Fischer and Eelco Visser},
publisher = {ACM},
isbn = {1-58113-606-4},
}