Jürgen Giesl, Aart Middeldorp. Transformation techniques for context-sensitive rewrite systems. Journal of Functional Programming, 14(4):379-427, 2004. [doi]
@article{GieslM04, title = {Transformation techniques for context-sensitive rewrite systems}, author = {Jürgen Giesl and Aart Middeldorp}, year = {2004}, doi = {10.1017/S0956796803004945}, url = {http://dx.doi.org/10.1017/S0956796803004945}, tags = {graph transformation, graph-rewriting, transformation system, context-aware, rewriting, transformation}, researchr = {https://researchr.org/publication/GieslM04}, cites = {0}, citedby = {0}, journal = {Journal of Functional Programming}, volume = {14}, number = {4}, pages = {379-427}, }