Krzysztof R. Apt Sebastian Brand Schedulers for Rule-Based Constraint Programming. 14-21 2003 conf/sac/2003 SAC db/conf/sac/sac2003.html#AptB03