Email Record: Logic and games on automatic structures