Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions - Kaiser, Łukasz (Springer Berlin Heidelberg, 2011)