Creignou, N., Olive, F., & Schmidt, J. (2023). Complexity of Reasoning with Cardinality Minimality Conditions. Proceedings of the AAAI Conference on Artificial Intelligence, 37(4), 3932–3940. https://doi.org/10.1609/aaai.v37i4.25507