@misc{indiciaeb13de33f1700,
  title = {Identifying Minimal Changes in the Zone Abstract Domain},
  author = {Kenny Ballou and Elena Sherman},
  year = {2023},
  doi = {10.1007/978-3-031-35257-7\_13},
  url = {https://arxiv.org/abs/2304.14550},
  note = {Source identifier: 2304.14550}
}