Decidability of code propertiesHenning Fernau, Klaus Reinhardt and Ludwig StaigerRAIRO-Theor. Inf. Appl., 41 3 (2007) 243-259DOI: https://doi.org/10.1051/ita:2007019
