Pascal Urso Emmanuel Kounalis Généralisations correctes pour l'induction mathématique. 211- 2002 conf/jfplc/2002 JFPLC db/conf/jfplc/jfplc2002.html#UrsoK02