DOI,IST REx ID,Research Group,Title of publication
10.1145/3121408,716,KrCh,The complexity of mean-payoff pushdown games