Vladimir Ulyantsev, Ilya Zakirzyanov, Anatoly Shalyto. BFS-Based Symmetry Breaking Predicates for DFA Identification. In Adrian Horia Dediu, Enrico Formenti, Carlos MartÃn-Vide, Bianca Truthe, editors, Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings. Volume 8977 of Lecture Notes in Computer Science, pages 611-622, Springer, 2015. [doi]