_id,doi,title
4601,10.1007/3-540-49213-5_2,Alternating-time temporal logic