DOI,IST REx ID,Title of publication
10.1007/11874683_17,3891,Concurrent games with tail objectives