Saribatur, Zeynep G., and Stefan Woltran. “A Unified View on Forgetting and Strong Equivalence Notions in Answer Set Programming”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 38, no. 9, Mar. 2024, pp. 10687-95, doi:10.1609/aaai.v38i9.28940.