James Harland. On Normal Forms and Equivalence for Logic Programs. In JICSLP. pages 146-160, 1992.
@inproceedings{Harland92, title = {On Normal Forms and Equivalence for Logic Programs}, author = {James Harland}, year = {1992}, tags = {logic programming, logic}, researchr = {https://researchr.org/publication/Harland92}, cites = {0}, citedby = {0}, pages = {146-160}, booktitle = {JICSLP}, }