DOI,IST REx ID,Title of publication
10.1007/3-540-49213-5_2,4601,Alternating-time temporal logic