(1)
Nori, A.; Hur, C.-K.; Rajamani, S.; Samuel, S. R2: An Efficient MCMC Sampler for Probabilistic Programs. AAAI 2014, 28.