Frandsen, G.S. 1985. A Denotational Semantics for Logic Programming. DAIMI Report Series. 14, 201 (Nov. 1985). DOI:https://doi.org/10.7146/dpb.v14i201.7552.