Schedulers and redundancy for a class of constraint propagation rules - Brand, S. (2013)
10.1017/S1471068405002401