Aiken, Alexander, Dexter Kozen, and Ed Wimmers. 1994. ‚ÄúDecidability of Systems of Set Constraints With Negative Constraints‚ÄĚ. BRICS Report Series 1 (32). https://doi.org/10.7146/brics.v1i32.21611.