Bofill, M. (2014) “Automatic Proving of Fuzzy Formulae with Fuzzy Logic Programming and SMT”, Electronic Communications of the EASST, 64. doi: 10.14279/tuj.eceasst.64.991.