[1]
A. Aiken, D. Kozen, and E. Wimmers, ‚ÄúDecidability of Systems of Set Constraints with Negative Constraints‚ÄĚ, BRICS, vol. 1, no. 32, Oct. 1994.