The product homomorphism method and its applications to learning logic programs. - Tamás Horváth 003 (2000)