@inproceedings{fossacMAr07,
  title = "Polynomial Constraints for Sets with Cardinality Bounds",
  author = "Bruno Marnette and Viktor Kuncak and Martin C. Rinard",
  year = "2007",
  booktitle = "FoSSaCS",
}