_id,doi,title
3893,10.1007/11539452_32,"Two-player nonzero-sum ω-regular games"