DOI,IST REx ID,Title of publication
10.1145/585265.585270,4609,Alternating-time temporal logic