Maja H. Kirkeby and Henning Christansen, “Confluence and Convergence in Probabilistically Terminating Reduction Systems,” in LOPSTR 2017, LNCS vol. 10855.
Maja H. Kirkeby and Henning Christansen, “Confluence and Convergence in Probabilistically Terminating Reduction Systems,” in LOPSTR 2017, LNCS vol. 10855.