Georges Blanc Noëlle Bleuzen-Guernalec Algèbres effectives dans la programmation logique avec constraintes. 221-242 1992 26 ITA db/journals/ita/ita26.html#BlancB92