@inproceedings{BroadbentCarayolHagueSerre:Saturation:2012,
    Author = {Broadbent, Chris and Carayol, Arnaud and Hague, Matthew and Serre, Olivier},
    BookTitle = {Proc. of ICALP'12},
    File = {A Saturation Method for Collapsible Pushdown Systems - Broadbent, Carayol, Hague, Serre (0) (0) - a - a - f.pdf},
    Keywords = {collapsible pushdown automata and higher-order recursion schemes and saturation method and annotated pushdown automata},
    Pages = {165--176},
    Series = {LNCS},
    Title = {A Saturation Method for Collapsible Pushdown Systems},
    Volume = {7392},
    Year = {2012},
    bdsk-url-1 = {http://www.springerlink.com/content/l6p2115k3m5p5v86/fulltext.pdf},
    bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-642-31585-5\_18},
    date-added = {2012-07-03 19:29:51 +0200},
    date-modified = {2015-03-26 11:39:09 +0000},
    file-2 = {A Saturation Method for Collapsible Pushdown Systems - Broadbent, Carayol, Hague, Serre (1) (0) - a - a - f.pdf},
    file-3 = {A Saturation Method for Collapsible Pushdown Systems - Broadbent, Carayol, Hague, Serre (2) (0) - a - a - f.pdf},
    file-4 = {A Saturation Method for Collapsible Pushdown Systems - Broadbent, Carayol, Hague, Serre (3) (0) - a - a - f.pdf},
    doi = {10.1007/978-3-642-31585-5_18}
}

@inproceedings{BroadbentCarayolHagueSerre:Saturation:2012, Author = {Broadbent, Chris and Carayol, Arnaud and Hague, Matthew and Serre, Olivier}, BookTitle = {Proc. of ICALP'12}, File = {A Saturation Method for Collapsible Pushdown Systems - Broadbent, Carayol, Hague, Serre (0) (0) - a - a - f.pdf}, Keywords = {collapsible pushdown automata and higher-order recursion schemes and saturation method and annotated pushdown automata}, Pages = {165--176}, Series = {LNCS}, Title = {A Saturation Method for Collapsible Pushdown Systems}, Volume = {7392}, Year = {2012}, bdsk-url-1 = {http://www.springerlink.com/content/l6p2115k3m5p5v86/fulltext.pdf}, bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-642-31585-5_18}, date-added = {2012-07-03 19:29:51 +0200}, date-modified = {2015-03-26 11:39:09 +0000}, file-2 = {A Saturation Method for Collapsible Pushdown Systems - Broadbent, Carayol, Hague, Serre (1) (0) - a - a - f.pdf}, file-3 = {A Saturation Method for Collapsible Pushdown Systems - Broadbent, Carayol, Hague, Serre (2) (0) - a - a - f.pdf}, file-4 = {A Saturation Method for Collapsible Pushdown Systems - Broadbent, Carayol, Hague, Serre (3) (0) - a - a - f.pdf}, doi = {10.1007/978-3-642-31585-5_18} }