1. Ade, H., Denecker, M.: AILP: Abductive inductive logic programming. In: Proceedings of the fourteenth International Joint Conference on Artificial Intelligence, pp. 1201–1207 (1995)
2. Lecture Notes in Computer Science;C. Baroglio,1995
3. Beth, E.: The Foundations of Mathematics, Amsterdam (1959)
4. Boden, M.: Computational models of creativity. In: Sternberg, R.J. (ed.) Handbook of Creativity, pp. 351–373. Cambridge University Press, Cambridge (1999)
5. Brazdil, P., Jorge, A.: Learning by Refining Algorithm Sketches. In: ECAI 1994, 11th European Conference of Artificial Intelligence, pp. 427–433 (1994)