Moussa Demba, Francis Alexandre, Khaled Bsaïes. Correction de Conjectures Fausses par Synthèse de Programmes. In Mireille Ducassé, editor, Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), Amiens, France, du 17 au 19 Juin 2003. pages 307-310, Hermes/Lavoisier, 2003.
Abstract is missing.