@inproceedings{CarHagMeyOngSer08,
  author = "A. Carayol, M. Hague, A. Meyer, C.-H. L. Ong and O. Serre",
  booktitle = "LICS",
  title = "Winning Regions of Higher-Order Pushdown Games",
  year = "2008",
}