TY  - RPRT
TI  - Complexity of two-variable Dependence Logic and IF-Logic
AU  - Juha Kontinen
AU  - Antti Kuusisto
AU  - Peter Lohmann
AU  - Jonni Virtema
PY  - 2011
UR  - https://arxiv.org/abs/1104.3148
ID  - 1104.3148
ER  -