Dimitar P. Guelev Catalin Dima Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions. 75-90 2008 DALT http://dx.doi.org/10.1007/978-3-540-93920-7_6 conf/dalt/2008 db/conf/dalt/dalt2008.html#GuelevD08