Rina Dechter From Local to Global Consistency. 87-108 1992 55 Artif. Intell. 1 db/journals/ai/ai55.html#Dechter92