A Substitution Operation for Constraints - P.G.Jeavons; D.A.Cohen; M.C.Cooper (1995)