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