Implementing a fixed point semantics for a constraint deductive database based on hereditary harrop formulas | Publicación