Kobayashi, N., et al.. On the Termination Problem for Probabilistic Higher-order Recursive Programs. episciences.org, Nov. 2019, doi:10.23638/lmcs-16(4:2)2020.