Opitz (1997) Connectionist theory refinement