F.  Turini, Baglioni, M., Furletti, B., and Rinzivillo, S., ?Examples of Integration of Induction and Deduction in Knowledge Discovery?, in Reasoning, Action and Interaction in AI Theories and Systems, vol. 4155, 2006, pp. 307-326.