Mayoh, Brian H. “The Meaning of Logical Programs”. DAIMI Report Series 9, no. 126 (September 1, 1980). Accessed May 9, 2024. https://tidsskrift.dk/daimipb/article/view/7647.