Automata, Logics, and Infinite Games : A Guide to Current Research - Erich Grädel, Wolfgang Thomas, Thomas Wilke ((Lecture Notes in Computer Science))