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