1. Ackely, D. H. and Littman, M. L., “A Case for Lamarckian Evolution,”Artificial Life III. (Langton, C. G. ed.), Addison Wesley, 1994.
2. Alferes, J. J., Damásio, C. V. and Pereira, L. M., “SLX — A Top-down Derivation Procedure for Programs with Explicit Negation,” inProc. of Int. Symp. on Logic Programming (Bruynooghe, M. ed.), The MIT Press, 1994.
3. Alferes, J. J., Damásio, C. V. and Pereira, L. M., “A Logic Programming System for Non-monotonic Reasoning,”Journal of Automated Reasoning, 14, pp. 93–147, 1995.
4. Alferes, J. J. and Pereira, L. M.,Reasoning with Logic Programming, 1111, ofLNAI, Springer-Verlag, 1996.
5. Alferes, J. J., Pereira, L. M. and Przymusinski, T. C., ““Classical” negation in non-monotonic reasoning and logic programming,”Journal of Automated Reasoning, 20, pp. 107–142, 1998.