Aiken, A., D. Kozen, and E. Wimmers. ‚ÄúDecidability of Systems of Set Constraints With Negative Constraints‚ÄĚ. BRICS Report Series, Vol. 1, no. 32, Oct. 1994, doi:10.7146/brics.v1i32.21611.