Inductively Speeding Up Logic Programs. - Masayuki Numao; T. Maruoka; Masamichi Shimura (Machine Intelligence 13, 1992)