Geibinger, T., Saribatur Yaman, Z. G., & Woltran, S. (2025). A Novel Equivalence Notion to Compare Answer-Set Programs over Multi-Layered Inputs. In I. Lynce, N. Murano, M. Vallati, & S. Villata (Eds.), ECAI 2025 : 28th European Conference on Artificial Intelligence, 25-30 October 2025, Bologna, Italy : Including 14th Conference on Prestigious Applications of Intelligent Systems (PAIS 2025) (pp. 1535–1542). IOS Press. https://doi.org/10.3233/FAIA250977