@InProceedings{Deharbe6,
  author =       "David D\'{e}harbe and Pascal Fontaine and Stephan Merz
                 and Bruno Woltzenlogel Paleo",
  title =        "Exploiting symmetry in {SMT} problems",
  booktitle =    "Proc. Conference on Automated Deduction (CADE)",
  editors =      "Nikolaj Bjørner and Viorica Sofronie-Stokkermans",
  publisher =    "Springer",
  series =       lncs,
  year =         "2011",
  pages =        "222--236",
  note =         "Accepted",
}