1. Azevedo, F.: Cardinal: A finite sets constraint solver. Constraints 12, 93–129 (2007)
2. Bergenti, F., Dal Palú, A., Rossi, G.: Integrating finite domain and set constraints into a set-based constraint language. Fundam. Inf. 96, 227–252 (2009)
3. ECLiPSe Web Site, http://eclipseclp.org/
4. Estévez, S., Fernández, A.J., Sáenz, F.: Cooperation of the Finite Domain and Set Solvers in $\mathcal{TOY}$ . In: Lucio, P., Moreno, G., Peña, R. (eds.) Proc. Prole 2009, Spain, pp. 217–226 (2009)
5. Estévez-Martín, S., Fernández, A.J., Hortalá-González, T., Rodríguez-Artalejo, M., Sáenz-Pérez, F., del Vado Vírseda, R.: On the Cooperation of the Constraint Domains $\mathcal{H}$ , $\mathcal{R}$ and $\mathcal{FD}$ in CFLP. TPLP 9, 415–527 (2009)