Richard Helm. Inductive and Deductive Control of Logic Programs. In ICLP. pages 488-512, 1987.
@inproceedings{Helm87, title = {Inductive and Deductive Control of Logic Programs}, author = {Richard Helm}, year = {1987}, tags = {logic programming, logic}, researchr = {https://researchr.org/publication/Helm87}, cites = {0}, citedby = {0}, pages = {488-512}, booktitle = {ICLP}, }