Solving Systems of Set Constraints with Negated Subset Relationships (1993)

by R Gilleron, S Tison, M Tommasi
Venue:In Foundations of Computer Science