Francis Alexandre Khaled Bsaïes Moussa Demba Correction de conjectures fausses par synthèse de programmes. 307-310 2003 22 Technique et Science Informatiques 1 http://tsi.revuesonline.com/article.jsp?articleId=4663 db/journals/tsi/tsi22.html#AlexandreBD03