Bofill, M.; Moreno, G.; Vazquez, C.; Villaret, M. Automatic Proving of Fuzzy Formulae With Fuzzy Logic Programming and SMT. eceasst 2014, 64.