Malhotra, S.; Serafini, L. Weighted Model Counting in FO2 With Cardinality Constraints and Counting Quantifiers: A Closed Form Formula. AAAI 2022, 36, 5817-5824.