Conditioning in first-order knowledge compilation and lifted probabilistic inference
Modeling and Reasoning with Bayesian Networks