@InProceedings{BanEtAl-IJCAR-16,
  author = {Bansal, Kshitij and Reynolds, Andrew and Barrett, Clark and Tinelli, Cesare},
  editor = {Olivetti, Nicola and Tiwari, Ashish},
  title = {A New Decision Procedure for Finite Sets and Cardinality Constraints in {SMT}},
  bookTitle = {Proceedings of the 8th International Joint Conference on Automated Reasoning, Coimbra, Portugal},
  year = 2016,
  publisher = {Springer International Publishing},
  pages = {82--98},
  series = {Lecture Notes in Computer Science},
  volume =  9706,
  doi = {10.1007/978-3-319-40229-1_7}
}