A model-based approach to blame assignment: Revising the reasoning steps of problem solversRedesigning a problem-solver's operators to improve solution quality
