Knowledge Formalization to Support Decision-Making in Heart Failure Treatment | Publicación