Semantics for Logic Programs Without Occur Check

W. P. Weijland. Semantics for Logic Programs Without Occur Check. Theoretical Computer Science, 71(1):155-174, 1990.

Abstract

Abstract is missing.