D Koller, D McAllester, A Pfeffer, Effective Bayesian Inference for Stochastic Programs, AAAI-97.
The following paper describes an approach to establishing probabilistic independence which to this day is not appreciated by the probabilistic programming community. A version of this was submitted to UAI at the same time as the Church paper. The Church paper, which was inspired by the work with Brian, was accepted while the work with Brian itself was rejected. Brian left research. To this day I believe that the noisy conference review system damages science.
David McAllester, Brian Milch, Noah Goodman, Random-world semantics and syntactic independence for expressive languages, MIT CSAIL TR 2008-25, May, 2008