@misc{indiciaec23a1578bb97,
  title = {Verification of Sometimes Termination of Lazy-Bounded Declarative Distributed Systems},
  author = {Francesco Di Cosmo},
  year = {2023},
  url = {https://arxiv.org/abs/2308.10007},
  note = {Source identifier: 2308.10007}
}