@misc{indiciaee1330d8c29ec,
  title = {Axiomatizing first-order consequences in independence logic},
  author = {Miika Hannula},
  year = {2015},
  url = {https://arxiv.org/abs/1304.4164},
  note = {Source identifier: 1304.4164}
}