TY - RPRT TI - Existential Rule Languages with Finite Chase: Complexity and Expressiveness AU - Heng Zhang AU - Yan Zhang AU - Jia-Huai You PY - 2015 UR - https://arxiv.org/abs/1411.5220 ID - 1411.5220 ER -