Constraint logic programming using ECLiPSe by Krzysztof R. Apt | Menrva Books | MenrvaBooks