@misc{indiciae1921ec004e38,
  title = {Weighted model counting beyond two-variable logic},
  author = {Antti Kuusisto and Carsten Lutz},
  year = {2018},
  url = {https://arxiv.org/abs/1804.10185},
  note = {Source identifier: 1804.10185}
}