Markus Holzer 0001, Martin Kutrib. Reversible Nondeterministic Finite Automata. In Iain Phillips, Hafizur Rahaman, editors, Reversible Computation - 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings. Volume 10301 of Lecture Notes in Computer Science, pages 35-51, Springer, 2017. [doi]
Abstract is missing.