Disjunctive logic programming, constructivity and strong negation | Publicación