M. Bofill, G. Moreno, C. Vazquez, and M. Villaret, “Automatic Proving of Fuzzy Formulae with Fuzzy Logic Programming and SMT”, eceasst, vol. 64, Nov. 2014.