Skolemization for Weighted First-Order Model Counting
On probabilistic inference by weighted model counting