DERI AND Constraint Satisfaction Problem
Common descendants