Aline Deruyver Yann Hodé Constraint Satisfaction Problem with Bilevel Constraint: Application to Interpretation of Over-Segmented Images. 321-335 1997 93 Artif. Intell. db/journals/ai/ai93.html#DeruyverH97 http://dx.doi.org/10.1016/S0004-3702(97)00022-2