@inproceedings{Broadbent:Carayol:Ong:Serre:Reflection:LICS:2010,
    Author = {Broadbent, C.H. and Carayol, A. and Ong, C.-H.L. and Serre, O.},
    BookTitle = {Proc. of LICS'10},
    File = {Recursion Schemes and Logical Reflection - Broadbent, Carayol, Ong, Serre (0) (0) - a - a - z.pdf},
    ISSN = {1043-6871},
    Keywords = {higher-order pushdown automata and collapsible pushdown automata and higher-order recursion schemes},
    Month = {july},
    Pages = {120--129},
    Title = {Recursion Schemes and Logical Reflection},
    Year = {2010},
    bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2010.40},
    date-added = {2020-08-12 14:39:05 +0200},
    date-modified = {2020-08-12 14:39:05 +0200},
    file-2 = {Recursion Schemes and Logical Reflection - Broadbent, Carayol, Ong, Serre (1) (0) - a - a - z.pdf},
    doi = {10.1109/LICS.2010.40}
}

@inproceedings{Broadbent:Carayol:Ong:Serre:Reflection:LICS:2010, Author = {Broadbent, C.H. and Carayol, A. and Ong, C.-H.L. and Serre, O.}, BookTitle = {Proc. of LICS'10}, File = {Recursion Schemes and Logical Reflection - Broadbent, Carayol, Ong, Serre (0) (0) - a - a - z.pdf}, ISSN = {1043-6871}, Keywords = {higher-order pushdown automata and collapsible pushdown automata and higher-order recursion schemes}, Month = {july}, Pages = {120--129}, Title = {Recursion Schemes and Logical Reflection}, Year = {2010}, bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2010.40}, date-added = {2020-08-12 14:39:05 +0200}, date-modified = {2020-08-12 14:39:05 +0200}, file-2 = {Recursion Schemes and Logical Reflection - Broadbent, Carayol, Ong, Serre (1) (0) - a - a - z.pdf}, doi = {10.1109/LICS.2010.40} }