Enno Ohlebusch. Advanced topics in term rewriting. Springer, 2002. [doi]
@book{0007479, title = {Advanced topics in term rewriting}, author = {Enno Ohlebusch}, year = {2002}, url = {http://www.springer.com/computer/swe/book/978-0-387-95250-5}, tags = {term rewriting, graph-rewriting, rewriting}, researchr = {https://researchr.org/publication/0007479}, cites = {0}, citedby = {0}, publisher = {Springer}, isbn = {978-0-387-95250-5}, }