_id,doi,title
325,10.1145/3158122,Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs