✓

@Book{            Kaiser:2011:LGA:2031932,
  Author        = "{\L}ukasz, Kaiser",
  Editor        = "{\L}ukasz, Kaiser",
  Address       = "Berlin, Heidelberg",
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2020-04-10 11:07:26 +0200",
  ISBN          = "978-3-642-22806-3",
  Publisher     = "Springer-Verlag",
  Title         = "Logic and Games on Automatic Structures: Playing with Quantifiers and Decompositions",
  Year          = "2011",
  File          = "[Lukasz\_Kaiser]\_Logic\_and\_Games\_on\_Automatic\_Struc(BookFi) (0) - a - a.pdf",
  file-2        = "diss (0) - a - a.pdf"
}

@Book{ Kaiser:2011:LGA:2031932, Author = "{\L}ukasz, Kaiser", Editor = "{\L}ukasz, Kaiser", Address = "Berlin, Heidelberg", date-added = "2020-04-10 11:07:26 +0200", date-modified = "2020-04-10 11:07:26 +0200", ISBN = "978-3-642-22806-3", Publisher = "Springer-Verlag", Title = "Logic and Games on Automatic Structures: Playing with Quantifiers and Decompositions", Year = "2011", File = "[Lukasz_Kaiser]_Logic_and_Games_on_Automatic_Struc(BookFi) (0) - a - a.pdf", file-2 = "diss (0) - a - a.pdf" }