@article(DBLP:journals/ita/BernetJW02,
 author       = "Julien Bernet and David Janin and Igor Walukiewicz",
 year         = "2002",
 title        = "Permissive strategies: from parity games to safety games",
 journal      = "ITA",
 volume       = "36",
 number       = "3",
 pages        = "261--275",
 doi          = "10.1051/ita:2002013",
)
@inproceedings(DBLP:conf/focs/EmersonJ91,
 author       = "E. Allen Emerson and Charanjit S. Jutla",
 year         = "1991",
 title        = "Tree Automata, Mu-Calculus and Determinacy (Extended Abstract)",
 booktitle    = "FOCS",
 publisher    = "IEEE Computer Society",
 pages        = "368--377",
 doi          = "10.1109/SFCS.1991.185392",
)
@article(DBLP:journals/corr/abs-1006-1410,
 author       = "John Fearnley and Martin Zimmermann",
 year         = "2012",
 title        = "Playing Muller Games in a Hurry",
 journal      = "Int. J. Found. Comput. Sci.",
 volume       = "23",
 number       = "3",
 pages        = "649--668",
 doi          = "10.1142/S0129054112400321",
)
@inproceedings(DBLP:conf/stacs/Jurdzinski00,
 author       = "Marcin Jurdzi{\'n}ski",
 year         = "2000",
 title        = "Small Progress Measures for Solving Parity Games",
 editor       = "Horst Reichel and Sophie Tison",
 booktitle    = "STACS",
 series       = "Lecture Notes in Computer Science",
 volume       = "1770",
 publisher    = "Springer",
 pages        = "290--301",
 doi          = "10.1007/3-540-46541-3\_24",
)
@inproceedings(DBLP:conf/fsttcs/LodingMS04,
 author       = "Christof L{\"o}ding and P. Madhusudan and Olivier Serre",
 year         = "2004",
 title        = "Visibly Pushdown Games",
 editor       = "Kamal Lodaya and Meena Mahajan",
 booktitle    = "FSTTCS",
 series       = "Lecture Notes in Computer Science",
 volume       = "3328",
 publisher    = "Springer",
 pages        = "408--420",
 doi          = "10.1007/978-3-540-30538-5\_34",
)
@inproceedings(DBLP:conf/hcat/McNaughton00,
 author       = "Robert McNaughton",
 year         = "2000",
 title        = "Playing Infinite Games in Finite Time",
 editor       = "Arto Salomaa and Derick Wood and Sheng Yu",
 booktitle    = "A Half-Century of Automata Theory",
 publisher    = "World Scientific",
 pages        = "73--91",
)
@techreport(Mos91,
 author       = "Andrzej W. Mostowski",
 year         = "1991",
 title        = "Games with forbidden positions",
 type         = "Technical Report",
 number       = "78",
 institution  = "University of Gdansk",
)
@inproceedings(NRZ12,
 author       = "Daniel Neider and Roman Rabinovich and Martin Zimmermann",
 year         = "2012",
 title        = "Down the Borel-Hierarchy: Solving Muller Games via Safety Games",
 editor       = "Marco Faella and Aniello Murano",
 booktitle    = "GandALF 2012",
 series       = "EPTCS",
 note         = "To appear",
)
@inproceedings(DBLP:conf/cav/Walukiewicz96,
 author       = "Igor Walukiewicz",
 year         = "1996",
 title        = "Pushdown Processes: Games and Model Checking",
 editor       = "Rajeev Alur and Thomas A. Henzinger",
 booktitle    = "CAV",
 series       = "Lecture Notes in Computer Science",
 volume       = "1102",
 publisher    = "Springer",
 pages        = "62--74",
 doi          = "10.1007/3-540-61474-5\_58",
)