1. Arenas-Sánchez, P., Rodríguez-Artalejo, M.: A General Framework for Lazy Funct’l Logic Programming with Algebraic Polymorphic Types. TPLP 2(1) (2001)
2. Beeri, C., Naqvi, S., Shmueli, O., Tsur, S.: Set Constructors in a Logic Database Language. Journal of Logic Programming 10(3), 181–232 (1991)
3. Dal Palù, A., Dovier, A., Pontelli, E., Rossi, G.: Integrating Finite Domain Constraints and CLP with Sets. In: PPDP 2003, pp. 219–229. ACM Press, New York (2003)
4. Lecture Notes in Computer Science;M. Denecker,2001
5. Dovier, A., Omodeo, E.G., Pontelli, E., Rossi, G.: {log}: A Logic Programming Language with Finite Sets. In: ICLP, pp. 111–124. MIT Press, Cambridge (1991)