Efficient integration of induction and Case-Based Reasoning The Inreca System - Althoff, Klaus-Dieter; Traphöner, Ralph; Wess, Stefan