Bofill, Miquel, Gines Moreno, Carlos Vazquez, and Mateu Villaret. 2014. “Automatic Proving of Fuzzy Formulae With Fuzzy Logic Programming and SMT”. Electronic Communications of the EASST 64 (November). https://doi.org/10.14279/tuj.eceasst.64.991.