On the decidability of semigroup freeness
and
RAIRO-Theor. Inf. Appl., 46 3 (2012) 355-399
Published online: 29 May 2012
DOI: 10.1051/ita/2012010
