@InProceedings{smt2013,
  title =        "{SyMT}: finding symmetries in SMT formulas",
  author =       "Carlos Areces and David Deharbe and Pascal Fontaine and 
                 Ezequiel Orbe",
  booktitle =    "11th International Workshop on Satisfiability Modulo Theories (SMT Workshop 2013)",
  year =         "2013",
}