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