@mastersthesis {330,
	title = {Symmetries in Automated Reasoning: The case of modal logics and satisfiability modulo theories},
	volume = {Doctor en Cs. de la Computaci{\'o}n},
	year = {2014},
	month = {02/2014},
	school = {Universidad Nacional de C{\'o}rdoba},
	type = {PhD},
	address = {C{\'o}rdoba},
	author = {Ezequiel Orbe}
}