TY  - RPRT
TI  - Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs
AU  - Jan-Christoph Kassing
AU  - Jürgen Giesl
PY  - 2023
UR  - https://arxiv.org/abs/2305.11741
ID  - 2305.11741
ER  -