@article{ConstraintsConsistencyClosure, title = "Constraints, Consistency and Closure", author = "P.G.Jeavons and D.A.Cohen and M.Cooper", year = "1998", journal = "Artificial Intelligence", number = "101 (1-2)", pages = "251--265", url = "ftp://ftp.cs.rhul.ac.uk/pub/constraints/conconclo.ps", }