1. J. J. Alferes, C. V. Damásio, and L. M. Pereira. SLX — a top-down derivation procedure for programs with explicit negation. In M. Bruynooghe, editor, Int. Logic Programming Symposium. MIT Press, 1994.
2. J. J. Alferes, C. V. Damásio, and L. M. Pereira. A logic programming system for non-monotonic reasoning. Journal of Automated Reasoning, Special Issue on Implementation of NonMonotonic Reasoning(14):93–147, 1995.
3. J. J. Alferes. Semantics of Logic Programs with Explicit Negation. PhD thesis, Universidade Nova de Lisboa, 1993.
4. J. J. Alferes and L. M. Pereira. On logic program semantics with two kinds of negation. In K. Apt, editor, International Joint Conference and Symposium on Logic Programming, pages 574–588. MIT Press, 1992.
5. J. J. Alferes and L. M. Pereira. Belief, provability and logic programs. In C. MacNish et al., editors, Logics in AI, pages 106–121. Springer-Verlag LNAI 838, 1994. Extended version in Journal of Applied Nonclassical Logics, 5(1):31–50, 1995.