Solving systems of set constraints with negated subset relationships (1993)

by R Gilleron, S Tison, M Tommasi
Venue:Proceedings of FOCS 1993, IEEE Computer