@misc{indiciaeb2abc70aee21,
  title = {A New Proof Rule for Almost-Sure Termination},
  author = {Annabelle McIver and Carroll Morgan and Benjamin Lucien Kaminski and Joost-Pieter Katoen},
  year = {2017},
  url = {https://arxiv.org/abs/1711.03588},
  note = {Source identifier: 1711.03588}
}