@misc{Deharbe6b,
  author =       "David D\'{e}harbe and Pascal Fontaine and Stephan Merz
                 and Bruno Woltzenlogel Paleo",
  title =        "Exploiting symmetry in {SMT} problems",
  year =         "2011",
  note =         "Available at \url{http://www.loria.fr/~fontaine/Deharbe6b.pdf}
",
}