Tadashi Kawamura. Derivation of Efficient Logic Programs by Synthesizing New Predicates. In ISLP. pages 611-625, 1991.
@inproceedings{Kawamura91, title = {Derivation of Efficient Logic Programs by Synthesizing New Predicates}, author = {Tadashi Kawamura}, year = {1991}, tags = {logic programming, logic}, researchr = {https://researchr.org/publication/Kawamura91}, cites = {0}, citedby = {0}, pages = {611-625}, booktitle = {ISLP}, }