Kuncak, ViktorRinard, Martin2007-08-212007-08-212007-08-212004https://infoscience.epfl.ch/handle/20.500.14299/10372The First-Order Theory of Sets with Cardinality Constraints is Decidabletext::report