Exact Model Counting of Query Expressions: Limitations of Propositional Methods
Skolemization for Weighted First-Order Model Counting