Constraint satisfaction via partially parallel propagation steps - Hower, Walter (Uni Koblenz-Landau, Inst. für Informatik, 1991)