1. Antitonic logic programs;Damásio,2001
2. Well-founded semantics for logic programs with explicit negation;Pereira,1992
3. A logic programming system for non-monotonic reasoning;Alferes;J. Automated Reas. (Special Issue),1995
4. C.V. Damásio, Paraconsistent extended logic programming with constraints, PhD thesis, Universidade Nova de Lisboa, 1996
5. Multivalued logics: A uniform approach to reasoning in artificial intelligence;Ginsberg;Comput. Intelligence,1988