1. Kosc, L.: Developmental dyscalculia. J. Learn. Disabil. 7(3), 164–177 (1974)
2. Kakas, A.C., Kowalski, R.A., Toni, F.: The role of abduction in logic programming. In: Handbook of Logic in Artificial Intelligence and Logic Programming, pp. 235–324. Oxford University Press Inc., (1998)
3. Pereira, L.M., Anh, H.T.: Evolution prospection. In: Nakamatsu, K., Phillips-Wren, G., Jain, L.C., Howlett, R.J. (eds.) New Advances in Intelligent Decision Technologies: Results of the First KES International Symposium IDT 2009, pp. 51–63. Springer, Heidelberg (2009)
4. Neves, J., Machado, J., Analide, C., Abelha, A., Brito, L.: The halt condition in genetic programming. In: Neves, J., Santos, M.F., Machado, J.M. (eds.) Progress in Artificial Intelligence, pp. 160–169. Springer, Heidelberg (2007)
5. Ferreira Maia Neves, J.C.: A logic interpreter to handle time and negation in logic data bases. In: Proceedings of the 1984 Annual Conference of the ACM on the Fifth Generation Challenge - ACM 1984, pp. 50–54 (1984)