@inproceedings{HagMurOngSer08,
  title = "Collapsible Pushdown Automata and Recursion Schemes",
  author = "M. Hague, A. S. Murawski, C.-H. L. Ong and O. Serre",
  year = "2008",
  booktitle = "LICS",
}