@inproceedings{Carayol:2008:PSH:1429240.1429259,
    Address = {Berlin, Heidelberg},
    Author = {Carayol, Arnaud and Slaats, Michaela},
    BookTitle = {Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science},
    File = {Positional Strategies for Higher-Order Pushdown Parity Games - Carayol, Slaats (0) (0) - a - a - o.pdf},
    ISBN = {978-3-540-85237-7},
    Location = {Toru\&\\#324;, Poland},
    Pages = {217--228},
    Publisher = {Springer-Verlag},
    Series = {MFCS '08},
    Title = {Positional Strategies for Higher-Order Pushdown Parity Games},
    URL = {http://dx.doi.org/10.1007/978-3-540-85238-4\_17},
    Year = {2008},
    acmid = {1429259},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-85238-4\_17},
    date-added = {2014-09-11 07:44:25 +0000},
    date-modified = {2014-09-11 07:44:25 +0000},
    numpages = {12},
    doi = {10.1007/978-3-540-85238-4_17}
}

@inproceedings{Carayol:2008:PSH:1429240.1429259, Address = {Berlin, Heidelberg}, Author = {Carayol, Arnaud and Slaats, Michaela}, BookTitle = {Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science}, File = {Positional Strategies for Higher-Order Pushdown Parity Games - Carayol, Slaats (0) (0) - a - a - o.pdf}, ISBN = {978-3-540-85237-7}, Location = {Toru\&\#324;, Poland}, Pages = {217--228}, Publisher = {Springer-Verlag}, Series = {MFCS '08}, Title = {Positional Strategies for Higher-Order Pushdown Parity Games}, URL = {http://dx.doi.org/10.1007/978-3-540-85238-4_17}, Year = {2008}, acmid = {1429259}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-85238-4_17}, date-added = {2014-09-11 07:44:25 +0000}, date-modified = {2014-09-11 07:44:25 +0000}, numpages = {12}, doi = {10.1007/978-3-540-85238-4_17} }