@article{Carton200337,
    Author = {Carton, Olivier and Michel, Max},
    File = {Unambiguous Buchi automata - Carton, Michel (0) (0) - a - a - v.pdf},
    ISSN = {0304-3975},
    Journal = {Theoretical Computer Science},
    Keywords = {unambiguous automata},
    Note = {<ce:title>Latin American Theoretical Informatics</ce:title>},
    Number = {1{\^a}€``3},
    Pages = {37 - 81},
    Title = {Unambiguous Buchi automata},
    URL = {http://www.sciencedirect.com/science/article/pii/S0304397502006187},
    Volume = {297},
    Year = {2003},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0304397502006187},
    bdsk-url-2 = {http://dx.doi.org/10.1016/S0304-3975(02)00618-7},
    date-added = {2012-03-07 11:46:31 +0100},
    date-modified = {2012-03-07 10:46:59 +0000},
    file-2 = {Unambiguous Buchi automata - Carton, Michel (1) (0) - a - a - v.pdf},
    doi = {10.1016/S0304-3975(02)00618-7}
}

@article{Carton200337, Author = {Carton, Olivier and Michel, Max}, File = {Unambiguous Buchi automata - Carton, Michel (0) (0) - a - a - v.pdf}, ISSN = {0304-3975}, Journal = {Theoretical Computer Science}, Keywords = {unambiguous automata}, Note = {Latin American Theoretical Informatics}, Number = {1{\^a}€``3}, Pages = {37 - 81}, Title = {Unambiguous Buchi automata}, URL = {http://www.sciencedirect.com/science/article/pii/S0304397502006187}, Volume = {297}, Year = {2003}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0304397502006187}, bdsk-url-2 = {http://dx.doi.org/10.1016/S0304-3975(02)00618-7}, date-added = {2012-03-07 11:46:31 +0100}, date-modified = {2012-03-07 10:46:59 +0000}, file-2 = {Unambiguous Buchi automata - Carton, Michel (1) (0) - a - a - v.pdf}, doi = {10.1016/S0304-3975(02)00618-7} }