_id,doi,title
716,10.1145/3121408,The complexity of mean-payoff pushdown games