Martin Henz Roland H. C. Yap Lim Yun Fong Lua Seet Chong J. Paul Walser Shi Xiao Ping Solving Hierarchical Constraints over Finite Domains with Local Search. 283-302 2004 40 Ann. Math. Artif. Intell. 3-4 http://dx.doi.org/10.1023/B:AMAI.0000012870.93810.37 db/journals/amai/amai40.html#HenzYFCWP04