Roger Mohr Thomas C. Henderson Arc and Path Consistency Revisited. 225-233 1986 28 Artif. Intell. 2 db/journals/ai/ai28.html#MohrH86