TY - RPRT TI - Characterizing the Program Expressive Power of Existential Rule Languages AU - Heng Zhang PY - 2021 UR - https://arxiv.org/abs/2112.08136 ID - 2112.08136 ER -