@conference {115,
	title = {{SyMT}: finding symmetries in {SMT} formulas},
	booktitle = {11th Intl. Workshop on Satisfiability Modulo Theories (SMT 2013)},
	year = {2013},
	address = {Helsinki, Finland},
	author = {Carlos Areces and David D{\'e}harbe and Pascal Fontaine and Ezequiel Orbe},
	editor = {Roberto Bruttomesso and Alberto Griggio}
}