Can and Must a Machine Prove Theorems as Humans Do ? Analysis of Some Automated Proofs by the MUSCADET System, rapport interne, 1999, 18 p (postscript) (pdf)

Les machines peuvent-elles/doivent-elles démontrer les théorèmes comme les êtres humains ? Analyse de quelques démonstrations données par le système MUSCADET, rapport interne, 1999, 10p

Le nouveau MUSCADET et la TPTP Problem Library, Colloque Intelligence Artificielle, Berder, 1999, rapport LIP6 2000/002, 54-98 (postscript)

Chemins détournés, idées fausses et bonnes idées, Colloque Intelligence Artificielle, Berder, Septembre 2000, rapport LIP6 2001/014, 77-114 (postscript) (pdf)

Muscadet version 2.3 : Manuel de l'utilisateur, 2001, 16p (postscript)

Muscadet version 2.3 : User's Manual, 2001, 16p (postscript)

Muscadet2.3 : A Knowledge-based Theorem Prover based on Natural Deduction, International Joint Conference on Automated Reasoning IJCAR 2001 (Conference on Automated Deduction CADE-JC), 685-689

Implementation of Knowledge Bases for Natural Deduction, 8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, 2nd International Workshop on Implementation of Logics, Cuba, 2001, 49-68

Compétitions de démonstrateurs de théorèmes, Rubrique "Jeux et compétition en IA", Revue d'intelligence artificielle, 15 n° 2/2001, 279-286

Strong and weak points of the MUSCADET theorem prover, AI Communications, 15 (2002), 147-160 (pdf)

Utilisation de dessins en résolution de problèmes, Revue d'intelligence artificielle, 16/2002, 123-164 (Errata)

Démonstration automatique de théorèmes, Méthodes naturelles ou principe de résolution, Journée scientifique en l'honneur de Jean-Louis Laurière, mars 2006 (transparents + commentaires (pdf))

Complementarity of natural deduction and resolution principle in empirically automated theorem proving, 2006, rapport interne (pdf)

Complementarity of a natural deduction knowledge-based theorem prover and resolution-based provers in automated theorem proving, 2007, rapport interne (pdf)