Boonserm Kijsirikul Masayuki Numao Masamichi Shimura Discrimination-Based Constructive Induction of Logic Programs. 44-49 1992 AAAI db/conf/aaai/aaai92.html#KijsirikulNS92