You are about to access our book library "Automata, Logics, and Infinite Games: A Guide to Current Research (Lecture Notes in Computer Science, 2500) full version" .