Can and Must a Machine Prove Theorems as Humans Do ? Analysis of Some Automated Proofs by the MUSCADET System, rapport interne, 1999, 18 p (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 (pdf)

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

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)

Natural proof search and proof writing, Conferences on Intelligent computer mathematics, Workshop on Mathematically Intelligent Proff Search, Paris, 2010, pdf slides

Muscadet version 4.1 : Manuel de l'utilisateur, 2011, 23p (pdf)

Muscadet version 4.1 : User's Manual, 2011, 22p (pdf)

Mathematical theorem proving, from Muscadet0 to Muscadet4, why and how, Workshop about Sets and Tools, Affiliated to ABZ 2014 Conference, Toulouse, France, 2014, abstract, pdf, slides