Rajeev Alur Thomas A. Henzinger Orna Kupferman Alternating-time Temporal Logic. 100-109 1997 FOCS http://computer.org/proceedings/focs/8197/81970100abs.htm db/conf/focs/focs97.html#AlurHK97