@misc{indiciaec5e41ae09d25,
  title = {User-Driven Abstraction for Model Checking},
  author = {Glenn Bruns},
  year = {2023},
  url = {https://arxiv.org/abs/2307.15820},
  note = {Source identifier: 2307.15820}
}