Constraints‚ Consistency and Closure - P.G.Jeavons; D.A.Cohen; M.Cooper (1998)