@article{Isaak2012578,
    Author = {Isaak, Dimitri and L{\"o}ding, Christof},
    File = {Efficient inclusion testing for simple classes of unambiguous Buchi-automata - Isaak, Loding (0) (0) - a - a - l.pdf},
    ISSN = {0020-0190},
    Journal = {Information Processing Letters},
    Keywords = {B{\"u}chi automata},
    Number = {14{\^a}€``15},
    Pages = {578 - 582},
    Title = {Efficient inclusion testing for simple classes of unambiguous Buchi-automata},
    URL = {http://www.sciencedirect.com/science/article/pii/S0020019012001184},
    Volume = {112},
    Year = {2012},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0020019012001184},
    bdsk-url-2 = {http://dx.doi.org/10.1016/j.ipl.2012.04.010},
    date-added = {2013-05-29 15:42:54 +0000},
    date-modified = {2014-01-30 14:17:20 +0000},
    doi = {10.1016/j.ipl.2012.04.010}
}

@article{Isaak2012578, Author = {Isaak, Dimitri and L{\"o}ding, Christof}, File = {Efficient inclusion testing for simple classes of unambiguous Buchi-automata - Isaak, Loding (0) (0) - a - a - l.pdf}, ISSN = {0020-0190}, Journal = {Information Processing Letters}, Keywords = {B{\"u}chi automata}, Number = {14{\^a}€``15}, Pages = {578 - 582}, Title = {Efficient inclusion testing for simple classes of unambiguous Buchi-automata}, URL = {http://www.sciencedirect.com/science/article/pii/S0020019012001184}, Volume = {112}, Year = {2012}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0020019012001184}, bdsk-url-2 = {http://dx.doi.org/10.1016/j.ipl.2012.04.010}, date-added = {2013-05-29 15:42:54 +0000}, date-modified = {2014-01-30 14:17:20 +0000}, doi = {10.1016/j.ipl.2012.04.010} }