Download Logic And Games On Automatic Structures: Playing With Quantifiers And Decompositions