@misc{indiciaef9777620fdbe,
  title = {Arrow Update Synthesis},
  author = {Hans van Ditmarsch and Wiebe van der Hoek and Barteld Kooi and Louwe B. Kuijer},
  year = {2019},
  doi = {10.1016/j.ic.2020.104544},
  url = {https://arxiv.org/abs/1802.00914},
  note = {Source identifier: 1802.00914}
}