@misc{indiciaeeb313c800473,
  title = {Every set of first-order formulas is equivalent to an independent set},
  author = {Ioannis Souldatos and I. Reznikoff},
  year = {2011},
  url = {https://arxiv.org/abs/1108.5171},
  note = {Source identifier: 1108.5171}
}