M. Cristía and G. Rossi, “Integrating Cardinality Constraints into Constraint Logic Programming with Sets”, JAIIO, vol. 8, no. 3, pp. 70-70, Dec. 2022.