Simon Kasif Arthur L. Delcher Local Consistency in Parallel Constraint Satisfaction Networks. 307-327 1994 69 Artif. Intell. 1-2 db/journals/ai/ai69.html#KasifD94