Logic And Games On Automatic Structures by Aukasz Kaiser