@article{MKRFoSSaCS07,
  title = "Polynomial Constraints for Sets with Cardinality Bounds",
  author = "Bruno Marnette and Viktor Kuncak and Martin Rinard",
  year = "2007",
  journal = "FoSSaCS",
}