@misc{indiciaeecabd5600ab0,
  title = {Towards an Updatable Strategy Logic},
  author = {Christophe Chareton and Julien Brunel and David Chemouil},
  year = {2013},
  doi = {10.4204/eptcs.112.14},
  url = {https://arxiv.org/abs/1303.0795},
  note = {Source identifier: 1303.0795}
}