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