Constraint logic programming using ECLiPSe / - Apt, Krzysztof R. (Cambridge University Press, 2007)