On the existence and unicity of stable models in normal residuated logic programs | Publicación