DOI,IST REx ID,Title of publication
10.1109/LICS.2005.26,4554,Mean-payoff parity games