Context-Specific Independence in Bayesian Networks
Graph-Based Algorithms for Boolean Function Manipulation