_id,doi,title
552,10.4230/LIPIcs.MFCS.2017.39,Faster algorithms for mean-payoff parity games