@misc{indiciae974efeea5a92,
  title = {Live Programming for Finite Model Finders},
  author = {Allison Sullivan},
  year = {2023},
  url = {https://arxiv.org/abs/2305.17317},
  note = {Source identifier: 2305.17317}
}