DOI,IST REx ID,Title of publication
10.1109/LICS.2000.855763,4627,Concurrent omega-regular games