TY  - RPRT
TI  - Confluence and Convergence in Probabilistically Terminating Reduction Systems
AU  - Maja H. Kirkeby
AU  - Henning Christiansen
PY  - 2017
UR  - https://arxiv.org/abs/1709.05123
ID  - 1709.05123
ER  -