[1]
Z. Wang, K. Wang, and X. Zhang, “Forgetting and Unfolding for Existential Rules”, AAAI, vol. 32, no. 1, Apr. 2018.