@article{Henzinger:2015:EPF:2728770.2701001,
    Address = {New York, NY, USA},
    Author = {Henzinger, Thomas A. and Raskin, Jean-Fran\c{c}ois},
    ISSN = {0001-0782},
    Journal = {Commun. ACM},
    Month = {January},
    Number = {2},
    Pages = {86--86},
    Publisher = {ACM},
    Title = {The Equivalence Problem for Finite Automata: Technical Perspective},
    URL = {http://doi.acm.org/10.1145/2701001},
    Volume = {58},
    Year = {2015},
    acmid = {2701001},
    bdsk-url-1 = {http://doi.acm.org/10.1145/2701001},
    bdsk-url-2 = {https://dx.doi.org/10.1145/2701001},
    date-added = {2018-03-02 07:07:38 +0000},
    date-modified = {2018-03-02 07:07:38 +0000},
    issue_date = {February 2015},
    numpages = {1},
    doi = {10.1145/2701001}
}

@article{Henzinger:2015:EPF:2728770.2701001, Address = {New York, NY, USA}, Author = {Henzinger, Thomas A. and Raskin, Jean-Fran\c{c}ois}, ISSN = {0001-0782}, Journal = {Commun. ACM}, Month = {January}, Number = {2}, Pages = {86--86}, Publisher = {ACM}, Title = {The Equivalence Problem for Finite Automata: Technical Perspective}, URL = {http://doi.acm.org/10.1145/2701001}, Volume = {58}, Year = {2015}, acmid = {2701001}, bdsk-url-1 = {http://doi.acm.org/10.1145/2701001}, bdsk-url-2 = {https://dx.doi.org/10.1145/2701001}, date-added = {2018-03-02 07:07:38 +0000}, date-modified = {2018-03-02 07:07:38 +0000}, issue_date = {February 2015}, numpages = {1}, doi = {10.1145/2701001} }