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.
@inproceedings{GilleronTT93,
title = {Solving Systems of Set Constraints with Negated Subset Relationships},
author = {Rémi Gilleron and Sophie Tison and Marc Tommasi},
year = {1993},
tags = {constraints},
researchr = {https://researchr.org/publication/GilleronTT93},
cites = {0},
citedby = {0},
pages = {372-380},
booktitle = {34th Annual Symposium on Foundations of Computer Science, 3-5 November 1993, Palo Alto, California, USA},
publisher = {IEEE},
}