Negation in logic programs: is it necessary two connectives?

by Fillottrani, Pablo Rubén and Simari, Guillermo Ricardo
Reference:
Negation in logic programs: is it necessary two connectives? (Fillottrani, Pablo Rubén and Simari, Guillermo Ricardo), In IV Congreso Argentina de Ciencias de la Computación, 1998.
Bibtex Entry:
@inproceedings{fillottrani1998negation,
  title={Negation in logic programs: is it necessary two connectives?},
  author={Fillottrani, Pablo Rub{'e}n and Simari, Guillermo Ricardo},
  booktitle={IV Congreso Argentina de Ciencias de la Computaci{'o}n},
  year={1998}
}

Posted in