Simari, Guillermo Ricardo Negation in logic programs : Is it necessary two connectives? Standard No.: DIF-M3415