Approximation and contamination bounds forprobabilistic programs | Annals of Operations Research | DeepDyve