A Compiler for Deterministic, Decomposable Negation Normal Form
A Logical Approach to Factoring Belief Networks