@Inproceedings{EPTCS112.14,
  author    = {Chareton, Christophe and Brunel, Julien and Chemouil, David},
  year      = {2013},
  title     = {Towards an Updatable Strategy Logic},
  editor    = {Mogavero, Fabio and Murano, Aniello and Vardi, Moshe Y.},
  booktitle = {{\rm Proceedings 1st International Workshop on}
               Strategic Reasoning,
               {\rm Rome, Italy, March 16-17, 2013}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {112},
  publisher = {Open Publishing Association},
  pages     = {91-98},
  doi       = {10.4204/EPTCS.112.14},
}