TítuloBuilding Automated Theorem Provers for Infinitely-Valued Logics with Satisfiability Modulo Theory Solvers
Publication TypeConference Paper
Year of Publication2012
AuthorsAnsótegui C, Bofill M, Manyà F, Villaret M
Conference NameISMVL 2012