Aiken, A., Kozen, D., & Wimmers, E. (1994). Decidability of Systems of Set Constraints with Negative Constraints. BRICS Report Series, 1(32). https://doi.org/10.7146/brics.v1i32.21611