TY - CONF T1 - Integrating induction and deduction for finding evidence of discrimination T2 - ICAIL Y1 - 2009 A1 - Dino Pedreschi A1 - Salvatore Ruggieri A1 - Franco Turini JF - ICAIL ER -