1. 1. AIKEN A. et WIMMERS E., Solving Systems of Set Constraints, In 7th Symposium on LICS, 1992.0834.68105
2. 2. AIKEN A., KOZEN D. et WIMMERS E., Decidability of Systems of Set Constraints with Negative Constraints, Technical Report 93-1362, Computer Science Departement, Cornell University, June 1993.0834.68105
3. 3. AMBERT F., LEGEARD B. et LEGROS E., Constraint Logic Programming on Sets and Multisets, Workshop on Constraint Languages and their usein Problem modelling, in conjunction with ILPS'94, Ithaca, USA, pp. 151-165, November 18, 1994.
4. 4. BEERI C., NAQVI S., RAMAKRISHNAN R., SHMUELI O., TSUR S., Sets and negation in a logic database language (LDL1), Proceedings of the 6th Annual ACM SIGMOD Symposium on principles of Database Systems, 1987, 16, N3, pp.21-37.
5. 5. BROWN F. M., Towards the Automation of Set Theory and its Logic, Artificial Intelligence, 1978, 10, pp.281-316.5140450395.68082