@misc{indiciae923ea46c9cd0,
  title = {Positive Almost-Sure Termination -- Complexity and Proof Rules},
  author = {Rupak Majumdar and V. R. Sathiyanarayana},
  year = {2023},
  url = {https://arxiv.org/abs/2310.16145},
  note = {Source identifier: 2310.16145}
}