1. Lecture Notes in Artificial Intelligence;J.J. Alferes,2002
2. Alferes, J.J., Damásio, C.V., Pereira, L.M.: SLX - A top-down derivation procedure for programs with explicit negation. In: Bruynooghe, M. (ed.) Proc. Int. Symp. on Logic Programming, MIT Press, Cambridge (1994)
3. Alferes, J.J., Pereira, L.M.: http://xsb.sourceforge.net/manual2/node179.html
4. Alferes, J.J., Pereira, L.M.: An argumentation theoretic semantics based on non-refutable falsity. In: Dix, J., et al. (eds.) NMELP, pp. 3–22. Springer, Heidelberg (1994)
5. Lecture Notes in Computer Science;J.J. Alferes,1996