AIKEN, A.; KOZEN, D.; WIMMERS, E. Decidability of Systems of Set Constraints with Negative Constraints. BRICS Report Series, v. 1, n. 32, 31 Oct. 1994.