Ralf Lämmel. Typed generic traversal with term rewriting strategies. Journal of Logic and Algebraic Programming, 54(1-2):1-64, 2003. [doi]
@article{Lammel03, title = {Typed generic traversal with term rewriting strategies}, author = {Ralf Lämmel}, year = {2003}, doi = {10.1016/S1567-8326(02)00028-0}, url = {http://dx.doi.org/10.1016/S1567-8326(02)00028-0}, tags = {traversal, term rewriting, graph-rewriting, rewriting, rewriting strategies}, researchr = {https://researchr.org/publication/Lammel03}, cites = {0}, citedby = {1}, journal = {Journal of Logic and Algebraic Programming}, volume = {54}, number = {1-2}, pages = {1-64}, }