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