Solving Systems of Set Constraints (Extended Abstract)

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},
}