Christophe Bisière
-
From Prolog III to Prolog IV: The Logic of Constraint ProgrammingRevisited
Constraints