When are probabilistic programs probably computationally tractable (2010)

by Cameron Freer, Vikash Mansinghka, Daniel Roy
Venue:NIPS Workshop on Advanced Monte Carlo Methods with Applications