Logic and games on automatic structures: playing with quantifiers and decompositions by Kaiser, Łukasz fromLecture Notes in Computer Science 0 Type: Book
