@Article{         CranenKeirenWillemsea,
  Author        = "Cranen, S. and Keiren, J.J.A. and Willemse, T.A.C.",
  Abstract      = "Parity games play a central role in model checking and satisfiability checking. Solving parity games is computationally expensive, among others due to the size of the games, which, for model checking problems, can easily contain",
  date-added    = "2016-03-26 11:03:15 +0000",
  date-modified = "2016-03-29 12:40:45 +0000",
  EPrint        = "1603.06422",
  Keywords      = "citesme!",
  Month         = "03",
  Title         = "Parity Game Reductions",
  URL           = "http://arxiv.org/abs/1603.06422",
  Year          = "2016",
  bdsk-url-1    = "http://arxiv.org/abs/1603.06422",
  File          = "Parity Game Reductions - Cranen, Keiren, Willemse (0) (0) - a - a - o.pdf"
}

@Article{ CranenKeirenWillemsea, Author = "Cranen, S. and Keiren, J.J.A. and Willemse, T.A.C.", Abstract = "Parity games play a central role in model checking and satisfiability checking. Solving parity games is computationally expensive, among others due to the size of the games, which, for model checking problems, can easily contain", date-added = "2016-03-26 11:03:15 +0000", date-modified = "2016-03-29 12:40:45 +0000", EPrint = "1603.06422", Keywords = "citesme!", Month = "03", Title = "Parity Game Reductions", URL = "http://arxiv.org/abs/1603.06422", Year = "2016", bdsk-url-1 = "http://arxiv.org/abs/1603.06422", File = "Parity Game Reductions - Cranen, Keiren, Willemse (0) (0) - a - a - o.pdf" }