Disproving (Positive) Almost-Sure Termination of Probabilistic Term Rewriting via Random Walks. - Jan-Christoph Kassing; Henri Nagel; Alexander Schlecht; Jürgen Giesl (CoRR, 2026)