A. Aiken, D. Kozen, and E. Wimmers, “Decidability of Systems of Set Constraints with Negative Constraints”, BRICS, vol. 1, no. 32, Oct. 1994.