TY - RPRT TI - Computational Aspects of Dependence Logic AU - Peter Lohmann PY - 2012 UR - https://arxiv.org/abs/1206.4564 ID - 1206.4564 ER -