A differential approach to inference in Bayesian networks
A Logical Approach to Factoring Belief Networks