Łukasz Kaiser

• Logic and Games on Automatic Structures