A. Nori, C.-K. Hur, S. Rajamani, and S. Samuel, “R2: An Efficient MCMC Sampler for Probabilistic Programs”, AAAI, vol. 28, no. 1, Jun. 2014.