Non-Looping String RewritingAlfons Geser and Hans ZantemaRAIRO-Theor. Inf. Appl., 33 3 (1999) 279-301DOI: https://doi.org/10.1051/ita:1999118