DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-030-90870-6_33,10414,KrCh,On lexicographic proof rules for probabilistic termination