Catriel Beeri, Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan. The Valid Model Semantics for Logic Programs. In Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 2-4, 1992, San Diego, California. pages 91-104, ACM Press, 1992. [doi]
Abstract is missing.