TY - RPRT TI - Characterizing Quantifier Extensions of Dependence Logic AU - Fredrik Engström AU - Juha Kontinen PY - 2012 UR - https://arxiv.org/abs/1202.5247 ID - 1202.5247 ER -