Arnaud Carayol Matthew Hague Antoine Meyer C.-H. Luke Ong Olivier Serre Winning Regions of Higher-Order Pushdown Games. 193-204 2008 LICS http://doi.ieeecomputersociety.org/10.1109/LICS.2008.41 conf/lics/2008 db/conf/lics/lics2008.html#CarayolHMOS08