Forgetting and Unfolding for Existential Rules

Open in new window