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

by R Gilleron, S Tison, M Tommasi
Venue:In Proc. 34th Symp. Foundations of Comput. Sci