Logic And Games On Automatic Structures door Aukasz Kaiser