Moussa Demba Francis Alexandre Khaled Bsaïes Correction de Conjectures Fausses par Synthèse de Programmes. 307-310 2003 conf/jfplc/2003 JFPLC db/conf/jfplc/jfplc2003.html#DembaAB03