Automatic Proving of Fuzzy Formulae with Fuzzy Logic Programming and SMT | Publicación