Bofill, M., Moreno, G., Vazquez, C., & Villaret, M. (2014). Automatic Proving of Fuzzy Formulae with Fuzzy Logic Programming and SMT. Electronic Communications of the EASST, 64. https://doi.org/10.14279/tuj.eceasst.64.991