TY  - RPRT
TI  - Axiomatizing first-order consequences in independence logic
AU  - Miika Hannula
PY  - 2015
UR  - https://arxiv.org/abs/1304.4164
ID  - 1304.4164
ER  -