Saribatur, Z. G.; Woltran, S. A Unified View on Forgetting and Strong Equivalence Notions in Answer Set Programming. AAAI 2024, 38, 10687-10695.