Deduction versus Computation: The Case of Induction. - Eric Deplagne; Claude Kirchner (AISC, 2002)

Système de preuve modulo récurrence. - Eric Deplagne (2002)

Proof Search and Proof Check for Equational and Inductive Theorems. - Eric Deplagne; Claude Kirchner; Hélène Kirchner; Quang Huy Nguyen 002 (CADE, 2003)