Markus Seuring, Michael Gössel. A Structural Method for Output Compaction of Sequential Automata Implemented as Circuits. In Oliver Boldt, Helmut Jürgensen, editors, Automata Implementation, 4th International Workshop on Implementing Automata, WIA 99, Potsdam, Germany, July 17-19, 1999, Revised Papers. Volume 2214 of Lecture Notes in Computer Science, pages 158-163, Springer, 1999. [doi]
Abstract is missing.