Preuve par induction dans le calcul des séquents modulo. (Proof by induction in sequent calculus modulo). - Fabrice Nahon (2007)

Inductive proof search modulo. - Fabrice Nahon; Claude Kirchner; Hélène Kirchner; Paul Brauner (Ann. Math. Artif. Intell., 2009)

Narrowing Based Inductive Proof Search. - Claude Kirchner; Hélène Kirchner; Fabrice Nahon (Programming Logics, 2013)