TY  - RPRT
TI  - Decidability of predicate logics with team semantics
AU  - Juha Kontinen
AU  - Antti Kuusisto
AU  - Jonni Virtema
PY  - 2016
UR  - https://arxiv.org/abs/1410.5037
ID  - 1410.5037
ER  -