The Valid Model Semantics for Logic Programs.

Catriel Beeri, Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan

Browse the full PODS paper archive.