On the decidability of semigroup freenessJulien Cassaigne and Francois NicolasRAIRO-Theor. Inf. Appl., 46 3 (2012) 355-399DOI: https://doi.org/10.1051/ita/2012010
