Neil Yorke-Smith Carmen Gervet Certainty Closure: Reliable Constraint Reasoning with Incomplete or Erroneous Data http://arxiv.org/abs/cs/0601109 2006 CoRR abs/cs/0601109 db/journals/corr/corr0601.html#abs-cs-0601109