A completeness theorem for multi-adjoint logic programming | Publicación