Formalizing a constraint deductive database language based on hereditary Harrop formulas with negation | Publicación