TY - RPRT TI - A finite axiomatization of conditional independence and inclusion dependencies AU - Miika Hannula AU - Juha Kontinen PY - 2013 UR - https://arxiv.org/abs/1309.4927 ID - 1309.4927 ER -