Creignou, N.; Olive, F.; Schmidt, J. Complexity of Reasoning With Cardinality Minimality Conditions. AAAI 2023, 37, 3932-3940.