Reihe Lecture Notes in Artificial IntelligenceLukasz Kaiser ×eBooks × Logic and Games on Automatic StructuresPlaying with Quantifiers and DecompositionsLukasz KaiserSpringer BerlineBook2011