Patricia M. Hill, Rodney W. Topor. A Semantics for Typed Logic Programs. In Types in Logic Programming. pages 1-62, 1992.
@incollection{HillT92, title = {A Semantics for Typed Logic Programs}, author = {Patricia M. Hill and Rodney W. Topor}, year = {1992}, tags = {semantics, logic programming, logic}, researchr = {https://researchr.org/publication/HillT92}, cites = {0}, citedby = {0}, pages = {1-62}, booktitle = {Types in Logic Programming}, }