@TechReport{NRZ11-AIB-2011-14,
  author =       "Daniel Neider and Roman Rabinovich and Martin Zimmermann",
  title =        "Solving Muller Games via Safety Games",
  institution =  "RWTH Aachen University",
  year =         "2011",
  number =       "AIB-2011-14",
  month =        jul,
  url =          "http://aib.informatik.rwth-aachen.de/2010/2011-14.ps.gz",
  keywords =     "Infinite Games, Muller Games, Safety Games, Antichains, Scores"
}