On biautomataOndřej Klíma and Libor PolákRAIRO-Theor. Inf. Appl., 46 4 (2012) 573-592DOI: https://doi.org/10.1051/ita/2012014