Frandsen, Gudmund Skovbjerg. “A Denotational Semantics for Logic Programming”. DAIMI Report Series 14, no. 201 (November 1, 1985). Accessed April 27, 2024. https://tidsskrift.dk/daimipb/article/view/7552.