J. C. Beck and M. S. Fox, “A Generic Framework for Constraint-Directed Search and Scheduling”, AIMag, vol. 19, no. 4, p. 103, Dec. 1998.