@inproceedings{5de058782b5e4d9d9231154b1da802c0,
title = "Collapsible Pushdown Automata and Recursion Schemes",
author = "M. Hague and Murawski, {A. S.} and Ong, {C.-H. L.} and O. Serre",
year = "2008",
doi = "10.1109/LICS.2008.34",
language = "English",
isbn = "978-0-7695-3183-0",
pages = "452--461",
booktitle = "LICS '08: 23rd Annual IEEE Symposium on Logic in Computer Science",
publisher = "IEEE Computer Society Press",
note = "LICS: Logic in Computer Science ; Conference date: 24-06-2008 Through 27-06-2008",
}