Reasoning on Constraints in CLP(FD).

Evelina Lamma Michela Milano Paola Mello Reasoning on Constraints in CLP(FD). 93-110 1999 38 J. Log. Program. 1 db/journals/jlp/jlp38.html#LammaMM99