Reducing the gradedness problem of string rewriting systems to a termination problem
RAIRO-Theor. Inf. Appl., 49 3 (2015) 233-254
Published online: 26 November 2015
DOI: 10.1051/ita/2015008