Cambridge U.P.
Theory and Practice of Logic Programming
Networks and Optimization

Apt, K., & Brand, S. (2005). Schedulers and Redundancy for a Class of Constraint Propagation Rules. Theory and Practice of Logic Programming, 5(4-5), 441–465.