DOI,IST REx ID,Research Group,Title of publication
10.1145/3585391,14778,KrCh,On lexicographic proof rules for probabilistic termination