@inproceedings{4557911,
    Author = {Carayol, A. and Hague, M. and Meyer, A. and Ong, C.-H.L. and Serre, O.},
    BookTitle = {Logic in Computer Science, 2008. LICS '08. 23rd Annual IEEE Symposium on},
    File = {Winning Regions of Higher-Order Pushdown Games - Carayol, Hague, Meyer, Ong, Serre (0) (0) - a - a - x.pdf},
    ISSN = {1043-6871},
    Keywords = {higher-order pushdown automata and higher-order model checking and higher-order recursion schemes and saturation method},
    Month = {june},
    Pages = {193 -204},
    Title = {Winning Regions of Higher-Order Pushdown Games},
    Year = {2008},
    bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2008.41},
    date-added = {2012-03-06 18:46:03 +0100},
    date-modified = {2013-03-12 18:29:45 +0000},
    file-2 = {Winning Regions of Higher-Order Pushdown Games - Carayol, Hague, Meyer, Ong, Serre (1) (0) - a - a - x.pdf},
    doi = {10.1109/LICS.2008.41}
}

@inproceedings{4557911, Author = {Carayol, A. and Hague, M. and Meyer, A. and Ong, C.-H.L. and Serre, O.}, BookTitle = {Logic in Computer Science, 2008. LICS '08. 23rd Annual IEEE Symposium on}, File = {Winning Regions of Higher-Order Pushdown Games - Carayol, Hague, Meyer, Ong, Serre (0) (0) - a - a - x.pdf}, ISSN = {1043-6871}, Keywords = {higher-order pushdown automata and higher-order model checking and higher-order recursion schemes and saturation method}, Month = {june}, Pages = {193 -204}, Title = {Winning Regions of Higher-Order Pushdown Games}, Year = {2008}, bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2008.41}, date-added = {2012-03-06 18:46:03 +0100}, date-modified = {2013-03-12 18:29:45 +0000}, file-2 = {Winning Regions of Higher-Order Pushdown Games - Carayol, Hague, Meyer, Ong, Serre (1) (0) - a - a - x.pdf}, doi = {10.1109/LICS.2008.41} }