Lifted graphical models: a survey
Skolemization for Weighted First-Order Model Counting