Z. G. Saribatur and S. Woltran, “A Unified View on Forgetting and Strong Equivalence Notions in Answer Set Programming”, AAAI, vol. 38, no. 9, pp. 10687-10695, Mar. 2024.