1990
Semantics for logic programs without occur check
Publication
Publication
Theoretical Computer Science , Volume 71 - Issue 1 p. 155- 174
Additional Metadata | |
---|---|
, | |
elsevier | |
Theoretical Computer Science | |
Weijland, W. P. (1990). Semantics for logic programs without occur check. Theoretical Computer Science, 71(1), 155–174. |