,
elsevier
Theoretical Computer Science

Weijland, W. P. (1990). Semantics for logic programs without occur check. Theoretical Computer Science, 71(1), 155–174.