@inproceedings{horn:LIPIcs:2008:1756,
    Address = {Dagstuhl, Germany},
    Annote = {Keywords: Games, authomata, model checking},
    Author = {Horn, Florian},
    BookTitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science},
    Editor = {Hariharan, Ramesh and Mukund, Madhavan and Vinay, V},
    File = {08004.HornFlorian.1756 (0) - a - a - b.pdf},
    ISBN = {978-3-939897-08-8},
    ISSN = {1868-8969},
    Pages = {235--243},
    Publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
    Series = {Leibniz International Proceedings in Informatics (LIPIcs)},
    Title = {{Explicit Muller Games are PTIME}},
    URL = {http://drops.dagstuhl.de/opus/volltexte/2008/1756},
    Volume = {2},
    Year = {2008},
    bdsk-url-1 = {http://drops.dagstuhl.de/opus/volltexte/2008/1756},
    bdsk-url-2 = {https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1756},
    date-added = {2018-04-04 08:47:00 +0000},
    date-modified = {2018-04-04 08:47:00 +0000},
    urn = {urn:nbn:de:0030-drops-17565},
    doi = {10.4230/LIPIcs.FSTTCS.2008.1756}
}

@inproceedings{horn:LIPIcs:2008:1756, Address = {Dagstuhl, Germany}, Annote = {Keywords: Games, authomata, model checking}, Author = {Horn, Florian}, BookTitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science}, Editor = {Hariharan, Ramesh and Mukund, Madhavan and Vinay, V}, File = {08004.HornFlorian.1756 (0) - a - a - b.pdf}, ISBN = {978-3-939897-08-8}, ISSN = {1868-8969}, Pages = {235--243}, Publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, Series = {Leibniz International Proceedings in Informatics (LIPIcs)}, Title = {{Explicit Muller Games are PTIME}}, URL = {http://drops.dagstuhl.de/opus/volltexte/2008/1756}, Volume = {2}, Year = {2008}, bdsk-url-1 = {http://drops.dagstuhl.de/opus/volltexte/2008/1756}, bdsk-url-2 = {https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1756}, date-added = {2018-04-04 08:47:00 +0000}, date-modified = {2018-04-04 08:47:00 +0000}, urn = {urn:nbn:de:0030-drops-17565}, doi = {10.4230/LIPIcs.FSTTCS.2008.1756} }