TY  - RPRT
TI  - Dependency Tuples for Almost-Sure Innermost Termination of Probabilistic Term Rewriting (Short WST Version)
AU  - Jan-Christoph Kassing
AU  - Jürgen Giesl
PY  - 2023
UR  - https://arxiv.org/abs/2307.10002
ID  - 2307.10002
ER  -