Helmut Prendinger, Mitsuru Ishizuka: Qualifying the Expressivity/Efficiency Tradeoff: Reformation-Based Diagnosis. AAAI/IAAI 1999: 416-421