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.