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. The MIT Press, Cambridge (1994)
3. LNAI;J.J. Alferes,1996
4. http://www.psych.utoronto.ca/museum/baldwin.htm
5. Lecture Notes in Artificial Intelligence;C. Baral,2003