Saribatur Yaman, Z. G., Knorr, M., Goncalves, R., & Leite, J. (2024). On Abstracting over the Irrelevant in Answer Set Programming. In Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (pp. 654–664). https://doi.org/10.24963/kr.2024/61