From local to global consistency - Dechter, Rina (1990)