Mayoh, B. H. “The Meaning of Logical Programs”. DAIMI Report Series, vol. 9, no. 126, Sept. 1980, doi:10.7146/dpb.v9i126.7647.