DOI,IST REx ID,Title of publication
null,3500,Algorithms for Büchi Games