@inproceedings{Bonchi:2013:CNE:2429069.2429124,
    Address = {New York, NY, USA},
    Author = {Bonchi, Filippo and Pous, Damien},
    BookTitle = {Proc. of POPL'13},
    File = {Checking NFA Equivalence with Bisimulations Up to Congruence - Bonchi, Pous (0) (0) - a - a - b.pdf},
    ISBN = {978-1-4503-1832-7},
    Keywords = {antichain, automata, bisimulation, coinduction, congruence, language equivalence, up-to techniques},
    Location = {Rome, Italy},
    Pages = {457--468},
    Publisher = {ACM},
    Title = {Checking {NFA} Equivalence with Bisimulations Up to Congruence},
    URL = {http://doi.acm.org/10.1145/2429069.2429124},
    Year = {2013},
    acmid = {2429124},
    bdsk-url-1 = {http://doi.acm.org/10.1145/2429069.2429124},
    bdsk-url-2 = {http://dx.doi.org/10.1145/2429069.2429124},
    date-added = {2013-12-28 17:56:55 +0000},
    date-modified = {2014-01-03 17:47:45 +0000},
    numpages = {12},
    doi = {10.1145/2429069.2429124}
}

@inproceedings{Bonchi:2013:CNE:2429069.2429124, Address = {New York, NY, USA}, Author = {Bonchi, Filippo and Pous, Damien}, BookTitle = {Proc. of POPL'13}, File = {Checking NFA Equivalence with Bisimulations Up to Congruence - Bonchi, Pous (0) (0) - a - a - b.pdf}, ISBN = {978-1-4503-1832-7}, Keywords = {antichain, automata, bisimulation, coinduction, congruence, language equivalence, up-to techniques}, Location = {Rome, Italy}, Pages = {457--468}, Publisher = {ACM}, Title = {Checking {NFA} Equivalence with Bisimulations Up to Congruence}, URL = {http://doi.acm.org/10.1145/2429069.2429124}, Year = {2013}, acmid = {2429124}, bdsk-url-1 = {http://doi.acm.org/10.1145/2429069.2429124}, bdsk-url-2 = {http://dx.doi.org/10.1145/2429069.2429124}, date-added = {2013-12-28 17:56:55 +0000}, date-modified = {2014-01-03 17:47:45 +0000}, numpages = {12}, doi = {10.1145/2429069.2429124} }