@article{DHH11,
  title = "{Complexity Bounds for Muller Games}",
  author = "Anuj Dawar and Florian Horn and Paul Hunter",
  year = "2011",
  journal = "Theoretical Computer Science",
  note = "Submitted",
}