DS-2004-02: Brand, Sebastian (2004) Rule-based Constraint Propagation: Theory and Applications. Doctoral thesis, University of Amsterdam.