Peter Jeavons David A. Cohen Martin C. Cooper Constraints, Consistency and Closure. 251-265 1998 101 Artif. Intell. 1-2 db/journals/ai/ai101.html#JeavonsCC98 http://dx.doi.org/10.1016/S0004-3702(98)00022-8