Building Automated Theorem Provers for Infinitely-Valued Logics with Satisfiability Modulo Theory Solvers | IEEE Conference Publication | IEEE Xplore