Lee Naish. Types and the Intended Meaning of Logic Programs. In Types in Logic Programming. pages 189-216, 1992.
@incollection{Naish92, title = {Types and the Intended Meaning of Logic Programs}, author = {Lee Naish}, year = {1992}, tags = {logic programming, logic}, researchr = {https://researchr.org/publication/Naish92}, cites = {0}, citedby = {0}, pages = {189-216}, booktitle = {Types in Logic Programming}, }