Gonçalves, Knorr, Leite, 2021. Forgetting in Answer Set Programming – A Survey.