Beck, J. C.; Fox, M. S. A Generic Framework for Constraint-Directed Search and Scheduling. AIMag 1998, 19, 103.