Atzmueller, Martin, Baumeister, Joachim and Puppe, Frank. "Quality Measures and Semi-Automatic Mining of Diagnostic Rule Bases (extended version)." Paper presented at the meeting of the Proc. 15th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2004), 2005.