DOI,IST REx ID,Title of publication
10.1007/11691372_17,4539,Finitary winning in omega-regular games