A. Aiken and E. L. Wimmers, Solving systems of set constraints, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, 1992.
DOI : 10.1109/LICS.1992.185545

L. Bachmair, H. Ganzinger, and U. Waldmann, Set constraints are the monadic class, [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science, 1993.
DOI : 10.1109/LICS.1993.287598

M. Dincbas, H. Simonis, and P. Van-hentenryck, The Constraint Logic Programming Language CHIP, FGCS, Japan, 1988.

A. Dovier and G. Rossi, Embedding Extensional Finite Sets in CLP, ILPS'93, 1993.
DOI : 10.1007/978-3-540-24599-5_20

M. R. Garey and D. S. Johnson, Computers and intractability, A guide to the theory of NP-completeness, pp.124-130, 1979.

G. Gierz and K. H. Hofman, A Compendium of Continuous Lattices, 1980.
DOI : 10.1007/978-3-642-67678-9

N. Heintze and J. Jaaar, A decision procedure for a class of set constraints, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science, pp.300-309, 1991.
DOI : 10.1109/LICS.1990.113732

P. Van-hentenryck, Constraint Satisfaction in Logic Programming. Logic Programming Series, 1989.

P. Van-hentenryck and Y. Deville, Operational semantics of constraint logic programming over finite domains, Proceedings of PLILP'91, pp.396-406, 1991.
DOI : 10.1007/3-540-54444-5_115

P. Van-hentenryck, Y. Deville, and C. Teng, A generic arc-consistency algorithm and its specializations, Artificial Intelligence, vol.57, issue.2-3, pp.291-321, 1992.
DOI : 10.1016/0004-3702(92)90020-X

J. Jaaar and J. Lassez, Constraint Logic Programming, Proceedings of the 14th ACM Symposium on Principles of Programming Languages, pp.111-119, 1987.

J. L. Lauri-ere, A language and a program for stating and solving combinatorial problems, Artificial Intelligence, vol.10, issue.1, pp.29-127, 1978.
DOI : 10.1016/0004-3702(78)90029-2

B. Legeard and E. Legros, Short overview of the CLPS system, Proceedings of PLILP'91 3rd International Symposium on Programming Language Implementation and Logic Programming, 1991.
DOI : 10.1007/3-540-54444-5_123

A. K. Mackworth, Consistency in networks of relations, Artiicial Intelligence, 1977.

Z. Pawlak, Rough Sets: Theoretical Aspects of Reasoning about Data. D: System theory, Knowledge engineering and Problem solving, 1991.

C. Walinsky, CLP(( ): Constraint Logic Programming with Regular Sets, ICLP'89, pp.181-190, 1989.