Title: Logic and Games on Automatic Structures