Constraint processing in cc(fd (1991)

by Y Deville, V Saraswat, P Van Hentenryck