@conference {4844, title = {Building Automated Theorem Provers for Infinitely-Valued Logics with Satisfiability Modulo Theory Solvers}, booktitle = {ISMVL 2012}, year = {2012}, author = {Carlos Ans{\'o}tegui and Miquel Bofill and Felip Many{\`a} and Mateu Villaret} }