Algèbres effectives dans la programmation logique avec contraintes G. Blanc; N. Bleuzen-Guernalec — 1992 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications