C PROOF C C' Ad C Ad C C' Ad d d C C' Ad c C' li C' - {c}  ^ -li -li C'  Λ d d C' - {c} ^d C ^ d C' Ad C' Ad C A d C' C C C C C 1, 11, 13 C C' ^ -l, C'  Λ d C' Ad d r C li C C" C' C' - {c}   ^ d c C" - {c}   ^ d ¬l x d C' - {c}  ^ ¬{k l C' C = {c} C □ C

## References

J
Proceedings of the Second International Conference on the Principles and Practice of Constraint Programming Proceedings of IJCAI-91 D
J
N
N
Proceedings of the Second International Conference on the Principles and Practice of Constraint Programming Empirical Methods for Artificial Intelligence Symp. on Theory of Computing Proc. Ird Ann. ACM
D
Satisfia bility  Problem:  Theory and  Applications  V
DIMACS Series in Discrete Mathematics and Theoretical Computer Science J
D
Artificial Intelligence 81 J
http://apes.cs.strath.ac.uk/apesreports.html