Complexity of two-variable Dependence Logic and IF-Logic

Juha Kontinen Antti Kuusisto Peter Lohmann Jonni Virtema Complexity of two-variable Dependence Logic and IF-Logic http://arxiv.org/abs/1104.3148 2011 CoRR abs/1104.3148 db/journals/corr/corr1104.html#abs-1104-3148