S. Malhotra and L. Serafini, “Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula”, AAAI, vol. 36, no. 5, pp. 5817–5824, Jun. 2022.