N. Creignou, F. Olive, and J. Schmidt, “Complexity of Reasoning with Cardinality Minimality Conditions”, AAAI, vol. 37, no. 4, pp. 3932–3940, Jun. 2023.