Catriel Beeri, Roger Nasr, Shalom Tsur. Embedding Psi-Terms in a Horn-Clause Logic Language. In JCDKB. pages 347-359, 1988.
@inproceedings{BeeriNT88, title = {Embedding Psi-Terms in a Horn-Clause Logic Language}, author = {Catriel Beeri and Roger Nasr and Shalom Tsur}, year = {1988}, tags = {logic}, researchr = {https://researchr.org/publication/BeeriNT88}, cites = {0}, citedby = {0}, pages = {347-359}, booktitle = {JCDKB}, }