NEFCIS: Neuro-Fuzzy Concept based Inference System for Specication Mining