Aiken, A.; Kozen, D.; Wimmers, E. Decidability of Systems of Set Constraints With Negative Constraints. BRICS 1994, 1.