@misc{indiciaece5a48bd83ab,
  title = {Dependence Logic with Generalized Quantifiers: Axiomatizations},
  author = {Fredrik Engström and Juha Kontinen and Jouko Väänänen},
  year = {2013},
  url = {https://arxiv.org/abs/1304.0611},
  note = {Source identifier: 1304.0611}
}