Forgetting in Logic Programs under Strong Equivalence

Open in new window