Forgetting in Answer Set Programming with Anonymous Cycles - Berthold, Matti (2020)
FORGET (PTDC/CCI-INF/32219/2017). NOVA LINCS (UID/CEC/04516/2019).