Tobias Geibinger, Zeynep G. Saribatur, Stefan Woltran: A Novel Equivalence Notion to Compare Answer-Set Programs over Multi-Layered Inputs. ECAI 2025: 1535-1542