Reducing the gradedness problem of string rewriting systems to a termination problemItamar SteinRAIRO-Theor. Inf. Appl., 49 3 (2015) 233-254DOI: https://doi.org/10.1051/ita/2015008
