Text this: Schedulers and redundancy for a class of constraint propagation rules

           _    _     ____       ___     ______   
  ____    | || | ||  |  _ \\    / _ \\  |      \\ 
 |    \\  | || | ||  | |_| ||  / //\ \\ |  --  // 
 | [] ||  | \\_/ ||  | .  //  |  ___  |||  --  \\ 
 |  __//   \____//   |_|\_\\  |_||  |_|||______// 
 |_|`-`     `---`    `-` --`  `-`   `-` `------`  
 `-`