Brand S. Constraint propagation in presence of arrays // Computer Science. — 2001. — # 16 — P. 103-113