_id,doi,title 10414,10.1007/978-3-030-90870-6_33,On lexicographic proof rules for probabilistic termination