Bucket elimination: a unifying framework for reasoning
Bayesian updating in causal probabilistic networks by local computations