Computing the prefix of an automaton
and
RAIRO-Theor. Inf. Appl., 34 6 (2000) 503-514
Published online: 15 April 2002
DOI: 10.1051/ita:2000127
