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