[FuDJZ17] On Equivalence Checking of Nondeterministic Finite Automata Fu, C.; Deng, Y.; Jansen, D. N. and Zhang, L. In SETTA, pages 216-231, LNCS 10606, 2017.
Downloads: bib