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