Gennari R. A general s hema for constraint propagation // Computer Science. — 2001. — # 16 — P. 29-44