[1]
Aiken, A., Kozen, D. and Wimmers, E. 1994. Decidability of Systems of Set Constraints with Negative Constraints. BRICS Report Series. 1, 32 (Oct. 1994). DOI:https://doi.org/10.7146/brics.v1i32.21611.