@InProceedings{   Gradel:STACS:2004,
  Author        = {Gr{\"a}del, Erich},
  BookTitle     = "Proc. of STACS'04",
  date-added    = "2013-12-27 10:42:32 +0000",
  date-modified = "2021-01-14 13:54:34 +0100",
  Pages         = "2--18",
  Publisher     = "{Springer}",
  Series        = "{LNCS}",
  Title         = "{Positional Determinacy of Infinite Games}",
  URL           = "http://www.logic.rwth-aachen.de/pub/graedel/Gr-stacs04.ps",
  Volume        = "2996",
  Year          = "2004",
  bdsk-url-1    = "http://www.logic.rwth-aachen.de/pub/graedel/Gr-stacs04.ps",
  File          = "Positional Determinacy of Infinite Games - Grädel (0) (0) - a - a - t.pdf"
}

@InProceedings{ Gradel:STACS:2004, Author = {Gr{\"a}del, Erich}, BookTitle = "Proc. of STACS'04", date-added = "2013-12-27 10:42:32 +0000", date-modified = "2021-01-14 13:54:34 +0100", Pages = "2--18", Publisher = "{Springer}", Series = "{LNCS}", Title = "{Positional Determinacy of Infinite Games}", URL = "http://www.logic.rwth-aachen.de/pub/graedel/Gr-stacs04.ps", Volume = "2996", Year = "2004", bdsk-url-1 = "http://www.logic.rwth-aachen.de/pub/graedel/Gr-stacs04.ps", File = "Positional Determinacy of Infinite Games - Grädel (0) (0) - a - a - t.pdf" }