Eugene C. Freuder, Chavalit Likitvivatanavong, Richard J. Wallace. Deriving Explanations and Implications for Constraint Satisfaction Problems. In Toby Walsh, editor, Principles and Practice of Constraint Programming - CP 2001, 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings. Volume 2239 of Lecture Notes in Computer Science, pages 585-589, Springer, 2001. [doi]
Abstract is missing.