M. Demba, F. Alexandre, and K. Bsaïes, Correction de conjectures fausses, 2002.
URL : https://hal.archives-ouvertes.fr/inria-00099561

M. Demba, K. Bsaïes, and F. Alexandre, Proving theorems by folding/unfolding, Proc. of the International Conference :Sciences of Electronic, Technologies of Information and Telecommunications Sousse Tunisia, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00100204

L. Fribourg, Extracting Logic Programs from Proofs that Use Extended Prolog Execution and Induction, 7th International Conference on Logic Programming, pp.685-699, 1990.

M. Fr?anováfr?anová and Y. Kodratoff, Predicate synthesis from formal specifications or using mathematical induction for finding preconditions of theorems, Rap. de Rech, issue.646, 1991.

R. Monroy and A. Bundy, On the correction of faulty formulae Informatics Research Report EDI-INF-RR- 0182, Centre for intelligence systems and their applications, pp.165-173, 2001.

M. Protzen, Patching faulty conjectures, 13th Conference on Automated Deduction, pp.77-91, 1996.
DOI : 10.1007/3-540-61511-3_70

A. Sakurai and H. Motoda, Proving definite clauses without explicit use of inductions, Proceedings of the 7th Conference, Logic Programming'88, 1988.
DOI : 10.1007/3-540-51564-X_52