1. Aiken, A.: Set constraints: Results, applications, and future directions, in A. Borning (ed.), Principles and Practice of Constraint Programming, Lecture Notes in Comput. Sci. 874, Springer, 1994, pp. 326?335.
2. Aiken, A.: Introduction to set constraint-based program analysis, Science of Computer Programming 35(2) (1999), 79?111.
3. Cantone, D. and Cutello, V.: A decision procedure for set-theoretic formulae involving rank and cardinality comparison, in A. Bertoni, C. Böhm and P. Miglioli (eds.), Italian Conference on Theoretical Computer Science, World Scientific, 1989, pp. 150?163.
4. Cantone, D., Cutello, V. and Schwartz, J. T.: Decision problems for Tarski and Presburger arithmetics extended with sets, in E. Börger, H. K. Büning, M. M. Richter and W. Schönfeld (eds.), Computer Science Logic, Lecture Notes in Comput. Sci. 533, Springer, 1991, pp. 95?109.
5. Cantone, D., Ferro, A. and Omodeo, E. G.: Computable Set Theory, International Series of Monographs on Computer Science 6, Clarendon Press, 1989.