@article{FacchiniMurlakSkrzypczak:TOCL:2016,
    Address = {New York, NY, USA},
    Author = {Facchini, Alessandro and Murlak, Filip and Skrzypczak, Micha\l},
    File = {Index Problems for Game Automata - a - a - q.pdf},
    ISSN = {1529-3785},
    Journal = {ACM Trans. Comput. Logic},
    Keywords = {Automata over infinite trees, Rabin-Mostowski index, alternation, parity games},
    Month = {November},
    Number = {4},
    Pages = {24:1--24:38},
    Publisher = {ACM},
    Title = {Index Problems for Game Automata},
    URL = {http://doi.acm.org/10.1145/2946800},
    Volume = {17},
    Year = {2016},
    acmid = {2946800},
    articleno = {24},
    bdsk-url-1 = {http://doi.acm.org/10.1145/2946800},
    bdsk-url-2 = {https://doi.org/10.1145/2946800},
    date-added = {2019-06-21 15:01:43 +0200},
    date-modified = {2020-08-04 12:06:40 +0200},
    issue_date = {November 2016},
    numpages = {38},
    doi = {10.1145/2946800}
}

@article{FacchiniMurlakSkrzypczak:TOCL:2016, Address = {New York, NY, USA}, Author = {Facchini, Alessandro and Murlak, Filip and Skrzypczak, Micha\l}, File = {Index Problems for Game Automata - a - a - q.pdf}, ISSN = {1529-3785}, Journal = {ACM Trans. Comput. Logic}, Keywords = {Automata over infinite trees, Rabin-Mostowski index, alternation, parity games}, Month = {November}, Number = {4}, Pages = {24:1--24:38}, Publisher = {ACM}, Title = {Index Problems for Game Automata}, URL = {http://doi.acm.org/10.1145/2946800}, Volume = {17}, Year = {2016}, acmid = {2946800}, articleno = {24}, bdsk-url-1 = {http://doi.acm.org/10.1145/2946800}, bdsk-url-2 = {https://doi.org/10.1145/2946800}, date-added = {2019-06-21 15:01:43 +0200}, date-modified = {2020-08-04 12:06:40 +0200}, issue_date = {November 2016}, numpages = {38}, doi = {10.1145/2946800} }