Découverte de lemmes par instanciation de métavariables dans les preuves par récurrence. - Moussa Demba; Khaled Bsaïes (JFPLC, 2002)

Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures. - Francis Alexandre; Khaled Bsaïes; Moussa Demba (LOPSTR, 2003)

Correction de conjectures fausses par synthèse de programmes. - Francis Alexandre; Khaled Bsaïes; Moussa Demba (Tech. Sci. Informatiques, 2003)

Appropriate lemmae discovery. - Moussa Demba; Khaled Bsaïes (Inf. Sci., 2004)

Equivalence checking of two functional programs using inductive theorem provers. - Moussa Demba (Inf. Process. Lett., 2018)

KeyFinder: An Efficient Minimal Keys Finding Algorithm For Relational Databases. - Moussa Demba (Inteligencia Artif., 2021)