_id,doi,title
5377,10.15479/AT:IST-2012-0002,Mean-payoff pushdown games