@inproceedings{gruber:holzer:tautschnig:ciaa09,
  title = "Short Regular Expressions from Finite Automata: Empirical Results",
  author = "Hermann Gruber and Markus Holzer and Michael Tautschnig",
  year = "2009",
  address = "Sydney, Australia",
  booktitle = "Proceedings of the 14th International Conference on Implementation and Application of Automata (CIAA 2009)",
  month = "July",
  pages = "188--197",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "5642",
}