Chee-Keng Yap. A New Lower Bound Construction for the Word Problem for Commutative Thue Systems. Journal of Symbolic Computation, 12(1):1-28, 1991.
@article{Yap91:1, title = {A New Lower Bound Construction for the Word Problem for Commutative Thue Systems}, author = {Chee-Keng Yap}, year = {1991}, researchr = {https://researchr.org/publication/Yap91%3A1}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Computation}, volume = {12}, number = {1}, pages = {1-28}, }