_id,doi,title
2956,10.1109/LICS.2012.30,Mean payoff pushdown games