TY  - RPRT
TI  - Axiomatizing first order consequences in dependence logic
AU  - Juha Kontinen
AU  - Jouko Väänänen
PY  - 2012
UR  - https://arxiv.org/abs/1208.0176
ID  - 1208.0176
ER  -