A Complete Dependency Pair Framework for Almost-Sure Innermost Termination of Probabilistic Term Rewriting. - Jan-Christoph Kassing; Stefan Dollase; Jürgen Giesl (FLOPS, 2024)