@article(BL69SolSeqCondFinStateStr,
 author       = "J. Richard B{\"u}chi and Lawrence H. Landweber",
 year         = "1969",
 title        = "Solving sequential conditions by finite-state strategies",
 journal      = "Transactions of the AMS",
 volume       = "138",
 pages        = "295--311",
 doi          = "10.2307/1994916",
)
@inproceedings(DJW97HowMuchMem,
 author       = "Stefan Dziembowski and Marcin Jurdzi$\mathaccentV {acute}013{\text {n}}$ski and Igor Walukiewicz",
 year         = "1997",
 title        = "{H}ow {M}uch {M}emory is {N}eeded to {W}in {I}nfinite {G}ames?",
 booktitle    = "Proceedings of the 12th LICS",
 publisher    = "IEEE",
 address      = "Washington - Brussels - Tokyo",
 pages        = "99--110",
 doi          = "10.1109/LICS.1997.614939",
)
@article(EWS01FairSim,
 author       = "Kousha Etessami and Thomas Wilke and Rebecca A. Schuller",
 year         = "2005",
 title        = "Fair {S}imulation {R}elations, {P}arity {G}ames, and {S}tate {S}pace {R}eduction for {B}{\"u}chi {A}utomata",
 journal      = "SIAM Journal on Computing",
 volume       = "34",
 number       = "5",
 pages        = "1159--1175",
 doi          = "10.1137/S0097539703420675",
)
@inproceedings(FW06SimRelPar,
 author       = "Carsten Fritz and Thomas Wilke",
 year         = "2006",
 title        = "{S}imulation {R}elations for {A}lternating {P}arity {A}utomata and {P}arity {G}ames",
 booktitle    = "Proceedings of the 10th DLT",
 series       = "LNCS",
 volume       = "4036",
 publisher    = "Springer",
 pages        = "59--70",
 doi          = "10.1007/11779148_7",
)
@book(GTW02AutLogInfGam,
 editor       = "Erich Gr{\"a}del and Wolfgang Thomas and Thomas Wilke",
 year         = "2002",
 title        = "Automata, Logics and Infinite Games",
 series       = "LNCS",
 volume       = "2500",
 publisher    = "Springer",
 doi          = "10.1007/3-540-36387-4",
 url          = "http://link.springer.de/link/service/series/0558/papers/2500/",
)
@inproceedings(GH82TreesAutGames,
 author       = "Yuri Gurevich and Leo Harrington",
 year         = "1982",
 title        = "Trees, {A}utomata and {G}ames",
 booktitle    = "Proceedings of the 14th STOC",
 address      = "San Francisco, CA.",
 pages        = "60--65",
 doi          = "10.1145/800070.802177",
)
@inproceedings(HL07MemRed,
 author       = "Michael Holtmann and Christof L{\"o}ding",
 year         = "2007",
 title        = "Memory {R}eduction for {S}trategies in {I}nfinite {G}ames",
 editor       = "Jan Holub and Jan Zd{\'a}rek",
 booktitle    = "CIAA",
 series       = "LNCS",
 volume       = "4783",
 publisher    = "Springer",
 pages        = "253--264",
 doi          = "10.1007/978-3-540-76336-9",
)
@article(Loe01EffMin,
 author       = "Christof L{\"o}ding",
 year         = "2001",
 title        = "Efficient Minimization of Deterministic Weak $\omega $-Automata",
 journal      = "IPL",
 volume       = "79",
 pages        = "105--109",
 doi          = "10.1016/S0020-0190(00)00183-6",
)
@article(PT87PartRef,
 author       = "Robert Paige and Robert E. Tarjan",
 year         = "1987",
 title        = "Three partition refinement algorithms",
 journal      = "SIAM J. Comput.",
 volume       = "16",
 number       = "6",
 pages        = "973--989",
 doi          = "10.1137/0216062",
)
@inproceedings(Tho95SynthStrInfGames,
 author       = "Wolfgang Thomas",
 year         = "1995",
 title        = "On the synthesis of strategies in infinite games",
 booktitle    = "Proceedings of the 12th STACS",
 series       = "LNCS",
 volume       = "900",
 publisher    = "Springer",
 address      = "Munich, Germany",
 pages        = "1--13",
 doi          = "10.1007/3-540-59042-0_57",
)
@incollection(Tho97LangAutLog,
 author       = "Wolfgang Thomas",
 year         = "1997",
 title        = "Languages, Automata and Logic",
 editor       = "A. Salomaa and G. Rozenberg",
 booktitle    = "Handbook of Formal Languages",
 volume       = "3, Beyond Words",
 publisher    = "Springer",
 address      = "Berlin",
)
@inproceedings(WHT03SymbSynth,
 author       = "Nico Wallmeier and Patrick H{\"u}tten and Wolfgang Thomas",
 year         = "2003",
 title        = "{S}ymbolic {S}ynthesis of {F}inite-{S}tate {C}ontrollers for {R}equest-{R}esponse {S}pecifications",
 booktitle    = "Proceedings of the 8th CIAA",
 series       = "LNCS",
 volume       = "2759",
 publisher    = "Springer",
 pages        = "11--22",
 doi          = "10.1007/3-540-45089-0_3",
)
@inproceedings(WAL04LandGamesBack,
 author       = "Igor Walukiewicz",
 year         = "2004",
 title        = "A Landscape with Games in the Background",
 booktitle    = "Proceedings of the 19th LICS",
 publisher    = "IEEE Computer Society",
 pages        = "356--366",
 doi          = "10.1109/LICS.2004.4",
 url          = "http://csdl.computer.org/comp/proceedings/lics/2004/2192/00/21920356abs.htm",
)