Alexander Aiken, Edward L. Wimmers. Solving Systems of Set Constraints (Extended Abstract). In Proceedings, Seventh Annual IEEE Symposium on Logic in Computer Science, 22-25 June 1992, Santa Cruz, California, USA. pages 329-340, IEEE Computer Society, 1992.
@inproceedings{AikenW92, title = {Solving Systems of Set Constraints (Extended Abstract)}, author = {Alexander Aiken and Edward L. Wimmers}, year = {1992}, tags = {constraints}, researchr = {https://researchr.org/publication/AikenW92}, cites = {0}, citedby = {0}, pages = {329-340}, booktitle = {Proceedings, Seventh Annual IEEE Symposium on Logic in Computer Science, 22-25 June 1992, Santa Cruz, California, USA}, publisher = {IEEE Computer Society}, }