DOI,IST REx ID,Research Group,Title of publication
10.1145/3158121,10418,"KrCh,ToHe",A new proof rule for almost-sure termination