Simari, Guillermo Ricardo

Negation in logic programs : Is it necessary two connectives?

DIF-M3415