Probabilistic Inference by Program Transformation in Hakaru (System Description)
Probabilistic reasoning in intelligent systems: Networks of plausible inference