DOI,IST REx ID,Title of publication
10.1007/11539452_32,3893,"Two-player nonzero-sum ω-regular games"