Inès Mouakher, Francis Alexandre, Khaled Bsaïes. Automatisation de l'application de l'hypothèse de récurrence dans la preuve des formules implicatives.
Premières Journées Francophones de Programmation par Contraintes - JFPC'2005, CRIL - CNRS FRE 2499, Jun 2005, Lens/France, pp.179-188.
⟨inria-00000070⟩