TY  - RPRT
TI  - Capturing k-ary Existential Second Order Logic with k-ary Inclusion-Exclusion Logic
AU  - Raine Rönnholm
PY  - 2018
UR  - https://arxiv.org/abs/1502.05632
ID  - 1502.05632
ER  -