%0 Book %A Erich Gradel, Wolfgang Thomas, Thomas Wilke )eds.( %T Automata, logics, and infinite games %U /book/95028112/Automata-logics-and-infinite-games/