Running Probabilistic Programs Backwards
lambda-the-ultimate.org