An SMT-Based Solver for Continuous t-norm Based Logics | Publicación