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.