Constraint Satisfaction and Programming, 19 March. The Reasoner, v. 2, n. 4, 1 Apr.2008.