Computer Science Logic 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings Grädel, Erich Heftet / 2009 / Engelsk
Automata, Logics, and Infinite Games A Guide to Current Research Grädel, Erich Heftet / 2002 / Engelsk