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