Frandsen, G. S. “A Denotational Semantics for Logic Programming”. DAIMI Report Series, vol. 14, no. 201, Nov. 1985, doi:10.7146/dpb.v14i201.7552.