An Explanation-Based Constraint Debugger. - Aaron Rich; Giora Alexandron; Reuven Naveh (Haifa Verification Conference, 2009)