Michael Wooldridge Wiebe van der Hoek Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications. 4 2002 conf/coordination/2002 COORDINATION http://link.springer.de/link/service/series/0558/bibs/2315/23150004.htm db/conf/coordination/coordination2002.html#WooldridgeH02