Short regular expressions from finite automata: Empirical results. (2009)

by H Gruber, M Holzer, M Tautschnig
Venue:CIAA 2009, 14th International Conference on Implementation and Application of Automata,