W. P. Weijland Semantics for Logic Programs Without Occur Check. 155-174 1990 71 Theor. Comput. Sci. 1 db/journals/tcs/tcs71.html#Weijland90