@Article{         Neider:2012fk,
  Author        = "Neider, Daniel and Rabinovich, Roman and Zimmermann, Martin",
  date-added    = "2014-02-10 10:01:56 +0000",
  date-modified = "2014-02-10 10:02:01 +0000",
  EPrint        = "1210.2457",
  Month         = "10",
  Title         = "Down the Borel Hierarchy: Solving Muller Games via Safety Games",
  URL           = "http://arxiv.org/abs/1210.2457",
  Year          = "2012",
  bdsk-url-1    = "http://arxiv.org/abs/1210.2457",
  File          = "Down the Borel Hierarchy Solving Muller Games via Safety Games - Neider, Rabinovich, Zimmermann (0) (0) - a - a - k.pdf"
}

@Article{ Neider:2012fk, Author = "Neider, Daniel and Rabinovich, Roman and Zimmermann, Martin", date-added = "2014-02-10 10:01:56 +0000", date-modified = "2014-02-10 10:02:01 +0000", EPrint = "1210.2457", Month = "10", Title = "Down the Borel Hierarchy: Solving Muller Games via Safety Games", URL = "http://arxiv.org/abs/1210.2457", Year = "2012", bdsk-url-1 = "http://arxiv.org/abs/1210.2457", File = "Down the Borel Hierarchy Solving Muller Games via Safety Games - Neider, Rabinovich, Zimmermann (0) (0) - a - a - k.pdf" }