Frandsen, Gudmund Skovbjerg. 1985. “A Denotational Semantics for Logic Programming”. DAIMI Report Series 14 (201). https://doi.org/10.7146/dpb.v14i201.7552.