_id,doi,title
4539,10.1007/11691372_17,Finitary winning in omega-regular games