Markus Holzer, Sebastian Jakobi, Martin Kutrib. Minimal Reversible Deterministic Finite Automata. In Igor Potapov, editor, Developments in Language Theory - 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings. Volume 9168 of Lecture Notes in Computer Science, pages 276-287, Springer, 2015. [doi]
Abstract is missing.