@article{Bubenzer2014,
  author    = {Johannes Bubenzer},
  title     = {Cycle-aware minimization of acyclic deterministic finite-state automata},
  journal   = {Discrete applied mathematics},
  volume    = {163},
  pages     = {238 -- +},
  doi       = {10.1016/j.dam.2013.08.003},
  year      = {2014},
}