Colin P. Williams Tad Hogg Exploiting the Deep Structure of Constraint Problems. 73-117 1994 70 Artif. Intell. 1-2 db/journals/ai/ai70.html#WilliamsH94 http://dx.doi.org/10.1016/0004-3702(94)90104-X