@misc{indiciae61d58db526cb,
  title = {Sound Automation of Magic Wands (extended version)},
  author = {Thibault Dardinier and Gaurav Parthasarathy and Noé Weeks and Alexanders J. Summers and Peter Müller},
  year = {2022},
  url = {https://arxiv.org/abs/2205.11325},
  note = {Source identifier: 2205.11325}
}