Thomas A. Henzinger, Jean-François Raskin. The equivalence problem for finite automata: technical perspective. Communications of the ACM, 58(2):86, 2015. [doi]
@article{HenzingerR15, title = {The equivalence problem for finite automata: technical perspective}, author = {Thomas A. Henzinger and Jean-François Raskin}, year = {2015}, doi = {10.1145/2701001}, url = {http://doi.acm.org/10.1145/2701001}, researchr = {https://researchr.org/publication/HenzingerR15}, cites = {0}, citedby = {0}, journal = {Communications of the ACM}, volume = {58}, number = {2}, pages = {86}, }