@misc{indiciaea18360f18761,
  title = {Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula},
  author = {Sagar Malhotra and Luciano Serafini},
  year = {2022},
  url = {https://arxiv.org/abs/2110.05992},
  note = {Source identifier: 2110.05992}
}