TY - RPRT TI - Schedulers and Redundancy for a Class of Constraint Propagation Rules AU - Sebastian Brand AU - Krzysztof R. Apt PY - 2004 UR - https://arxiv.org/abs/cs/0403037 ID - cs/0403037 ER -