@misc{indiciae1871669edc4f,
  title = {Complexity of two-variable Dependence Logic and IF-Logic},
  author = {Juha Kontinen and Antti Kuusisto and Peter Lohmann and Jonni Virtema},
  year = {2011},
  url = {https://arxiv.org/abs/1104.3148},
  note = {Source identifier: 1104.3148}
}