Bofill, Miquel, Gines Moreno, Carlos Vazquez, and Mateu Villaret. “Automatic Proving of Fuzzy Formulae With Fuzzy Logic Programming and SMT”. Electronic Communications of the EASST 64 (November 26, 2014). Accessed October 22, 2024. https://eceasst.org/index.php/eceasst/article/view/2152.