A Lower Bound For Reversible Automata Pierre-Cyrille Héam RAIRO-Theor. Inf. Appl., 34 5 (2000) 331-341 Published online: 15 April 2002 DOI: 10.1051/ita:2000120