A Model Theory of Logic Programming Methodology.

Huaimin Sun, Liguo Wang

Browse the full ICLP paper archive.