@inproceedings{HagueOng2009,
  author = "M. Hague and C.-H. L. Ong",
  booktitle = "CONCUR",
  note = "To appear.",
  title = "Winning Regions of Pushdown Parity Games: A Saturation Method",
  year = "2009",
}