@Article{         Gimbert:2017aa,
  Author        = "Gimbert, Hugo and Ibsen-Jensen, Rasmus",
  Abstract      = "Recently Cristian S. Calude, Sanjay Jain, Bakhadyr Khoussainov, Wei Li and Frank Stephan proposed a quasi-polynomial time algorithm for parity games. This paper proposes a short proof of correctness of their algorithm.",
  date-added    = "2017-02-27 15:10:08 +0000",
  date-modified = "2017-02-27 15:10:08 +0000",
  EPrint        = "1702.01953",
  Month         = "02",
  Title         = "A short proof of correctness of the quasi-polynomial time algorithm for parity games",
  URL           = "https://arxiv.org/abs/1702.01953",
  Year          = "2017",
  bdsk-url-1    = "https://arxiv.org/abs/1702.01953",
  File          = "1702.01953 (0) - a - a - z.pdf"
}

@Article{ Gimbert:2017aa, Author = "Gimbert, Hugo and Ibsen-Jensen, Rasmus", Abstract = "Recently Cristian S. Calude, Sanjay Jain, Bakhadyr Khoussainov, Wei Li and Frank Stephan proposed a quasi-polynomial time algorithm for parity games. This paper proposes a short proof of correctness of their algorithm.", date-added = "2017-02-27 15:10:08 +0000", date-modified = "2017-02-27 15:10:08 +0000", EPrint = "1702.01953", Month = "02", Title = "A short proof of correctness of the quasi-polynomial time algorithm for parity games", URL = "https://arxiv.org/abs/1702.01953", Year = "2017", bdsk-url-1 = "https://arxiv.org/abs/1702.01953", File = "1702.01953 (0) - a - a - z.pdf" }