1. A. Dovier, E. Pontelli, and G. Rossi.
   Set Unification.
   Theory and Practice of Logic Programming (ISSN: 1471-0684), 6(6):645-701, 2006


2. A. Dal Palu', A. Dovier, E. Pontelli, and G. Rossi.
   Integrating Finite Domain Constraints and CLP with Sets.
   In D. Miller, ed., Fifth ACM-SIGPLAN Conference on Principles and Practice of Declarative Programming, ACM Press, ISBN/ISSN: 1-58113-705-2, 2003, 219-229.


3. A. Dovier, C. Piazza, E. Pontelli, and G. Rossi.
   Sets and Constraint Logic Programming.
   ACM Transaction on Programming Language and Systems, Vol. 22 (5), Sept. 2000, 861-931.


4. A. Dovier, A. Policriti, and G. Rossi.
   A Uniform Axiomatic View of Lists, Multisets, and Sets and the Relevant Unification Algorithms
   Fundamenta Informaticae, 36(2/3):201-234, 1998.


5. A. Dovier, C. Piazza, E. Pontelli, and G. Rossi.
   On the Representation and Management of Finite Sets in CLP-languages
   In Joxan Jaffar ed., Proceedings of 1998 Joint International Conference and Symposium on Logic Programming, pp. 40-54, The MIT Press. (Manchester, UK. 15-19 June 1998)


6. A. Dovier, A. Policriti, and G. Rossi.
   Integrating lists, multisets, and sets in a logic programming framework
   In Franz Baader and Klaus U. Schulz eds., Frontier of Combining Systems 1996, Kluwer Academic Publishers, Applied Logic Series 3, 213--229. (M&uumlnchen, Germany, March 1996)


7. A. Dovier, E. G. Omodeo, E. Pontelli, and G. Rossi.
   {log}: A Language for Programming in Logic with Finite Sets
   The Journal of Logic Programming, North Holland, Vol. 28(1), July 96, 1-55.


8. A. Dovier and G.F. Rossi.
   Embedding extensional finite sets in CLP
   In D. Miller ed., Proceedings of 1993 International Logic Programming Symposium, The MIT Press, 1993, 540--556.


9. A. Dovier, E. G. Omodeo, E. Pontelli, and G. Rossi.
   {log}: A Logic Programming Language with Finite Sets
   In K. Furukawa ed., Logic Programming: Proceedings of the Eighth International Conference, The MIT Press, pp. 111--124. (Paris, June 1991)