@misc{indiciae22f89967510f,
  title = {Capturing k-ary Existential Second Order Logic with k-ary Inclusion-Exclusion Logic},
  author = {Raine Rönnholm},
  year = {2018},
  url = {https://arxiv.org/abs/1502.05632},
  note = {Source identifier: 1502.05632}
}