Comments on: Formats of Winning Strategies for Six Types of Pushdown Games http://www.algosyn.rwth-aachen.de/wp-publications/fr10/ hourly 1 http://wordpress.org/?v=3.6.1