The essence of constraint propagation
scientific article; zbMATH DE number 1387426