Salvador Lucas. Proving termination of context-sensitive rewriting by transformation. Inf. Comput., 204(12):1782-1846, 2006. [doi]
@article{Lucas06:1, title = {Proving termination of context-sensitive rewriting by transformation}, author = {Salvador Lucas}, year = {2006}, doi = {10.1016/j.ic.2006.07.001}, url = {http://dx.doi.org/10.1016/j.ic.2006.07.001}, tags = {graph transformation, termination, graph-rewriting, context-aware, rewriting, transformation}, researchr = {https://researchr.org/publication/Lucas06%3A1}, cites = {0}, citedby = {0}, journal = {Inf. Comput.}, volume = {204}, number = {12}, pages = {1782-1846}, }