@inproceedings{HunterDaw05,
  title = "Complexity Bounds for Regular Games (Extended Abstract)",
  author = "Paul Hunter and Anuj Dawar",
  year = "2005",
  booktitle = "Symposium on Mathematical Foundations of Computer Science (MFCS)",
  url = "http://web.comlab.ox.ac.uk/oucl/work/paul.hunter/papers/mfcsfinal.pdf",
}