DOI,IST REx ID,Research Group,Title of publication
10.1109/LICS.2012.30,2956,KrCh,Mean payoff pushdown games