Automata, Logics, and Infinite Games A Guide to Current Research - Grädel, Erich; Grädel, Erich; Thomas, Wolfgang; Thomas, Wolfgang; Wilke, Thomas; Wilke, Thomas (Springer Berlin Heidelberg : Imprint: Springer, 2002)