Automatic Theorem Proving in Set Theory, Artificial Intelligence Journal 10 (1978), 1-27

MUSCADET : An Automatic Theorem Proving System using Knowledge and Metaknowledge in Mathematics, Artificial Intelligence Journal, vol. 38 n3, (1989), 257-318

Automated Theorem Proving in Mathematics, Annals on Artificial Intelligence and Mathematics, vol. 8, n 3-4 (1993), 425-447