Automatic Theorem Proving in Set Theory, Artificial Intelligence Journal 10 
(1978),  1-27
<BR>  <BR>
MUSCADET : An Automatic Theorem Proving System using Knowledge and Metaknowledge
 in Mathematics, Artificial Intelligence Journal, vol. 38 n°3, (1989), 257-318
<BR>  <BR>
Automated Theorem Proving in Mathematics, Annals on Artificial Intelligence and 
Mathematics, vol. 8, n° 3-4 (1993), 425-447