@inproceedings{HagueMurawskiOngSerre:Collapsible:2008,
    Address = {Washington, DC, USA},
    Author = {Hague, M. and Murawski, A. S. and Ong, C.-H. L. and Serre, O.},
    BookTitle = {Proc. of LICS'08},
    File = {Collapsible Pushdown Automata and Recursion Schemes - Hague, Murawski, Ong, Serre (0) (0) - a - a - z.pdf},
    ISBN = {978-0-7695-3183-0},
    Keywords = {higher-order pushdown automata and higher-order recursion schemes and collapsible pushdown automata},
    Pages = {452--461},
    Publisher = {IEEE Computer Society},
    Title = {Collapsible Pushdown Automata and Recursion Schemes},
    URL = {http://dl.acm.org/citation.cfm?id=1381308.1382244},
    Year = {2008},
    acmid = {1382244},
    bdsk-url-1 = {http://dl.acm.org/citation.cfm?id=1381308.1382244},
    bdsk-url-2 = {http://dx.doi.org/10.1109/LICS.2008.34},
    date-added = {2012-03-06 11:44:06 +0100},
    date-modified = {2014-05-19 10:16:06 +0000},
    file-2 = {Collapsible Pushdown Automata and Recursion Schemes - Hague, Murawski, Ong, Serre (1) (0) - a - a - z.pdf},
    numpages = {10},
    doi = {10.1109/LICS.2008.34}
}

@inproceedings{HagueMurawskiOngSerre:Collapsible:2008, Address = {Washington, DC, USA}, Author = {Hague, M. and Murawski, A. S. and Ong, C.-H. L. and Serre, O.}, BookTitle = {Proc. of LICS'08}, File = {Collapsible Pushdown Automata and Recursion Schemes - Hague, Murawski, Ong, Serre (0) (0) - a - a - z.pdf}, ISBN = {978-0-7695-3183-0}, Keywords = {higher-order pushdown automata and higher-order recursion schemes and collapsible pushdown automata}, Pages = {452--461}, Publisher = {IEEE Computer Society}, Title = {Collapsible Pushdown Automata and Recursion Schemes}, URL = {http://dl.acm.org/citation.cfm?id=1381308.1382244}, Year = {2008}, acmid = {1382244}, bdsk-url-1 = {http://dl.acm.org/citation.cfm?id=1381308.1382244}, bdsk-url-2 = {http://dx.doi.org/10.1109/LICS.2008.34}, date-added = {2012-03-06 11:44:06 +0100}, date-modified = {2014-05-19 10:16:06 +0000}, file-2 = {Collapsible Pushdown Automata and Recursion Schemes - Hague, Murawski, Ong, Serre (1) (0) - a - a - z.pdf}, numpages = {10}, doi = {10.1109/LICS.2008.34} }