@inproceedings{BousquetLoeding:Unambiguous:LATA:2010,
    Address = {Berlin, Heidelberg},
    Author = {Bousquet, Nicolas and L{\"o}ding, Christof},
    BookTitle = {Proc. of LATA'10},
    Editor = {Dediu, Adrian-Horia and Fernau, Henning and Mart{\'\i}n-Vide, Carlos},
    File = {Equivalence and Inclusion Problem for Strongly Unambiguous Büchi Automata - Bousquet, Löding (0) (0) - a - a - m.pdf},
    ISBN = {978-3-642-13089-2},
    Pages = {118--129},
    Publisher = {Springer Berlin Heidelberg},
    Title = {Equivalence and Inclusion Problem for Strongly Unambiguous B{\"u}chi Automata},
    URL = {http://dx.doi.org/10.1007/978-3-642-13089-2\_10},
    Year = {2010},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-13089-2\_10},
    date-added = {2016-11-21 11:25:36 +0000},
    date-modified = {2016-11-21 11:31:21 +0000},
    doi = {10.1007/978-3-642-13089-2_10}
}

@inproceedings{BousquetLoeding:Unambiguous:LATA:2010, Address = {Berlin, Heidelberg}, Author = {Bousquet, Nicolas and L{\"o}ding, Christof}, BookTitle = {Proc. of LATA'10}, Editor = {Dediu, Adrian-Horia and Fernau, Henning and Mart{\'\i}n-Vide, Carlos}, File = {Equivalence and Inclusion Problem for Strongly Unambiguous Büchi Automata - Bousquet, Löding (0) (0) - a - a - m.pdf}, ISBN = {978-3-642-13089-2}, Pages = {118--129}, Publisher = {Springer Berlin Heidelberg}, Title = {Equivalence and Inclusion Problem for Strongly Unambiguous B{\"u}chi Automata}, URL = {http://dx.doi.org/10.1007/978-3-642-13089-2_10}, Year = {2010}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-13089-2_10}, date-added = {2016-11-21 11:25:36 +0000}, date-modified = {2016-11-21 11:31:21 +0000}, doi = {10.1007/978-3-642-13089-2_10} }