_id,doi,title
14778,10.1145/3585391,On lexicographic proof rules for probabilistic termination