Irène Durand, Géraud Sénizergues. Bottom-up rewriting for words and terms. Journal of Symbolic Computation, 67:93-121, 2015. [doi]
@article{DurandS15, title = {Bottom-up rewriting for words and terms}, author = {Irène Durand and Géraud Sénizergues}, year = {2015}, doi = {10.1016/j.jsc.2014.06.001}, url = {http://dx.doi.org/10.1016/j.jsc.2014.06.001}, researchr = {https://researchr.org/publication/DurandS15}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Computation}, volume = {67}, pages = {93-121}, }