TY  - GEN
AU  - Simari,Guillermo Ricardo
TI  - Negation in logic programs: Is it necessary two connectives?
ER  -