Rajeev Alur Thomas A. Henzinger Orna Kupferman Alternating-Time Temporal Logic. 23-60 1997 conf/compos/1997 COMPOS http://link.springer.de/link/service/series/0558/bibs/1536/15360023.htm db/conf/compos/compos1997.html#AlurHK97