Atzmueller, M.; Baumeister, J. & Puppe, F. (2005), Quality Measures and Semi-Automatic Mining of Diagnostic Rule Bases (extended version), in 'Proc. 15th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2004)' , pp. 65--78 .