## The First-Order Theory of Sets with Cardinality Constraints is Decidable

Year:
2004
Note:
MIT CSAIL report number 958
Superseded by citeKuncakETAL06DecidingBooleanAlgebraPresburgerArithmetic
Laboratories: