TY  - RPRT
TI  - Every set of first-order formulas is equivalent to an independent set
AU  - Ioannis Souldatos
AU  - I. Reznikoff
PY  - 2011
UR  - https://arxiv.org/abs/1108.5171
ID  - 1108.5171
ER  -