_id,doi,title
4554,10.1109/LICS.2005.26,Mean-payoff parity games
