Le Traitement des contraintes booléennes dans PROLOG III — Frédéric Benhamou, Jean-Marc Boï