Masayuki Numao, T. Maruoka, Masamichi Shimura. Inductively Speeding Up Logic Programs. In Machine Intelligence 13. pages 441-458, 1994.
@inproceedings{NumaoMS94, title = {Inductively Speeding Up Logic Programs}, author = {Masayuki Numao and T. Maruoka and Masamichi Shimura}, year = {1994}, tags = {logic programming, logic}, researchr = {https://researchr.org/publication/NumaoMS94}, cites = {0}, citedby = {0}, pages = {441-458}, booktitle = {Machine Intelligence 13}, }