The product homomorphism method and its applications to learning logic programsTamás HorváthEsauritoAvvisami
