On the Implementation of a Fuzzy DL Solver over Infinite-Valued Product Logic with SMT Solvers | Publicación