@article{Pous:2015:SAL:2775051.2677007,
    Address = {New York, NY, USA},
    Author = {Pous, Damien},
    File = {Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests - Pous (0) (0) - a - a - o.pdf},
    ISSN = {0362-1340},
    Journal = {SIGPLAN Not.},
    Keywords = {antimirov' partial derivatives, bdd, binary decision diagrams, brzozowski's derivatives, disjoint set forests, guarded string automata, kat, kleene algebra with tests, language equivalence, symbolic automata, union-find},
    Month = {January},
    Number = {1},
    Pages = {357--368},
    Publisher = {ACM},
    Title = {Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests},
    URL = {http://doi.acm.org/10.1145/2775051.2677007},
    Volume = {50},
    Year = {2015},
    acmid = {2677007},
    bdsk-url-1 = {http://doi.acm.org/10.1145/2775051.2677007},
    bdsk-url-2 = {http://dx.doi.org/10.1145/2775051.2677007},
    date-added = {2016-01-07 16:29:39 +0000},
    date-modified = {2016-01-07 16:29:39 +0000},
    issue_date = {January 2015},
    numpages = {12},
    doi = {10.1145/2775051.2677007}
}

@article{Pous:2015:SAL:2775051.2677007, Address = {New York, NY, USA}, Author = {Pous, Damien}, File = {Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests - Pous (0) (0) - a - a - o.pdf}, ISSN = {0362-1340}, Journal = {SIGPLAN Not.}, Keywords = {antimirov' partial derivatives, bdd, binary decision diagrams, brzozowski's derivatives, disjoint set forests, guarded string automata, kat, kleene algebra with tests, language equivalence, symbolic automata, union-find}, Month = {January}, Number = {1}, Pages = {357--368}, Publisher = {ACM}, Title = {Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests}, URL = {http://doi.acm.org/10.1145/2775051.2677007}, Volume = {50}, Year = {2015}, acmid = {2677007}, bdsk-url-1 = {http://doi.acm.org/10.1145/2775051.2677007}, bdsk-url-2 = {http://dx.doi.org/10.1145/2775051.2677007}, date-added = {2016-01-07 16:29:39 +0000}, date-modified = {2016-01-07 16:29:39 +0000}, issue_date = {January 2015}, numpages = {12}, doi = {10.1145/2775051.2677007} }