A Lower Bound For Reversible AutomataPierre-Cyrille HéamRAIRO-Theor. Inf. Appl., 34 5 (2000) 331-341DOI: https://doi.org/10.1051/ita:2000120
