Reasoning with negative information, II: Hard negation, strong negation and logic programs | Publicación