The product homomorphism method and its applications to learning logic programsTamás HorváthÉpuiséPrévenez-moi
