Wang, Z.; Wang, K.; Zhang, X. Forgetting and Unfolding for Existential Rules. AAAI 2018, 32.