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.