A Model Theory of Logic Programming Methodology. - Huaimin Sun; Liguo Wang (ICLP, 1984)