Bofill, Miquel, et al. “Automatic Proving of Fuzzy Formulae With Fuzzy Logic Programming and SMT”. Electronic Communications of the EASST, vol. 64, Nov. 2014, doi:10.14279/tuj.eceasst.64.991.