D. Nobrega and G. M. , Une approche dialectiquè a la formation de théories : aspects conceptuels, formels et pragmatiques dans le cadre de l'apprentissage humain, Thèse de doctorat, 2002.

D. Ledesma, L. , P. A. Erez, . Borrajo-d, and . M. Laita-l, A computational approach to George Boole's discovery of mathematical logic, Artificial Intelligence, vol.91, issue.2, pp.281-307, 1997.
DOI : 10.1016/S0004-3702(97)00017-9

L. P. , S. H. Bradshaw-g, and . Zytkow-j, Scientific Discovery : Computational Explorations of the Creative Process, 1987.

L. F. Marins, E. D. Fernedaa-g, and . Sallantin-j, A discovery support system based in interactive asynchronous reasoning, Advances in Intelligent Systems and Robotics Laptec 2003 Frontiers in Artificial Intelligence and Applications, pp.87-93, 2003.

R. E. Knight-k, Artificial Intelligence, 1991.

S. J. , Q. J. Barboux-c, and A. , Théories semiempiriques : ´ eléments de formalisations. Revue d'intelligence artificielle, pp.69-92, 1991.

J. J. Sallantin-&-j and E. Szczeciniarz, Le concept de preuvè a lalumì ere de l'intelligence artificielle, 1999.

S. H. Valdes-perez-r and . H. Sleeman-d, Scientific discovery and simplicity of method, Artificial Intelligence, vol.91, pp.177-181, 1997.