Correction de conjectures fausses, 2002. ,
URL : https://hal.archives-ouvertes.fr/inria-00099561
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
Extracting Logic Programs from Proofs that Use Extended Prolog Execution and Induction, 7th International Conference on Logic Programming, pp.685-699, 1990. ,
Predicate synthesis from formal specifications or using mathematical induction for finding preconditions of theorems, Rap. de Rech, issue.646, 1991. ,
On the correction of faulty formulae Informatics Research Report EDI-INF-RR- 0182, Centre for intelligence systems and their applications, pp.165-173, 2001. ,
Patching faulty conjectures, 13th Conference on Automated Deduction, pp.77-91, 1996. ,
DOI : 10.1007/3-540-61511-3_70
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