TY  - RPRT
TI  - On Probabilistic Term Rewriting
AU  - Martin Avanzini
AU  - Ugo Dal Lago
AU  - Akihisa Yamada
PY  - 2018
UR  - https://arxiv.org/abs/1802.09774
ID  - 1802.09774
ER  -