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