%0 Journal Article
%A Blanc, G.
%A Bleuzen-Guernalec, N.
%T Algèbres effectives dans la programmation logique avec contraintes
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 1992
%P 221-242
%V 26
%N 3
%I EDP-Sciences
%U http://www.numdam.org/item/ITA_1992__26_3_221_0/
%G fr
%F ITA_1992__26_3_221_0