@misc{indiciae055f2840fd2f,
  title = {Almost-Sure Termination by Guarded Refinement},
  author = {Simon Oddershede Gregersen and Alejandro Aguirre and Philipp G. Haselwarter and Joseph Tassarotti and Lars Birkedal},
  year = {2024},
  doi = {10.1145/3674632},
  url = {https://arxiv.org/abs/2404.08494},
  note = {Source identifier: 2404.08494}
}