Solving Systems of Set Constraints with Negated Subset Relationships

RĂ©mi Gilleron, Sophie Tison, Marc Tommasi. Solving Systems of Set Constraints with Negated Subset Relationships. In 34th Annual Symposium on Foundations of Computer Science, 3-5 November 1993, Palo Alto, California, USA. pages 372-380, IEEE, 1993.

Abstract

Abstract is missing.