Aiken, Alexander, et al. “Decidability of Systems of Set Constraints With Negative Constraints”. BRICS Report Series, vol. 1, no. 32, Oct. 1994, doi:10.7146/brics.v1i32.21611.