@inproceedings{BroersenMastopMeyerTurriniIEEE2009,
 author = {Broersen, J.M. and Mastop, R and Meyer, J.-J. and Turrini, P.},
 title = {Strategic Ability Update: A Modal Logic Account},
 booktitle = {WI-IAT '09: Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology},
 year = {2009},
 isbn = {978-0-7695-3801-3},
 pages = {470--473},
 doi = {http://dx.doi.org/10.1109/WI-IAT.2009.328},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA}
 }