Paolo Turrini Jan Broersen Rosja Mastop John-Jules Ch. Meyer An Update Operator for Strategic Ability. 292-301 2009 LORI http://dx.doi.org/10.1007/978-3-642-04893-7_23 conf/lori/2009 db/conf/lori/lori2009.html#TurriniBMM09