@misc{indiciae8a8fbe4acd6c,
  title = {The Undecidability of Arbitrary Arrow Update Logic},
  author = {Hans van Ditmarsch and Wiebe van der Hoek and Louwe B. Kuijer},
  year = {2016},
  url = {https://arxiv.org/abs/1609.05686},
  note = {Source identifier: 1609.05686}
}