1. Forgetting auxiliary atoms in forks;Aguado;Artif. Intell.,2019
2. Knowledge Representation, Reasoning and Declarative Problem Solving;Baral,2003
3. The stable model semantics for logic programming;Gelfond,1988
4. A new logical characterisation of stable models and answer sets;Pearce,1996
5. You can't always forget what you want: on the limits of forgetting in answer set programming;Gonçalves,2016