Eric Boucher Bruno Legeard Procédure exacte d'optimisation dans le paradigme de la programmation logique avec contraintes ensemblistes. 179-194 1997 conf/jfplc/1997 JFPLC db/conf/jfplc/jfplc1997.html#BoucherL97