@article{SeuringGoessel1999,
  author    = {Markus Seuring and Michael G{\"o}ssel},
  title     = {A structural method for output compaction of sequential automata implemented as circuits},
  year      = {1999},
}