conf/pods/92 Catriel Beeri Raghu Ramakrishnan Divesh Srivastava S. Sudarshan 0001 The Valid Model Semantics for Logic Programs. 91-104 1992 PODS db/conf/pods/pods92.html#BeeriRSS92 http://doi.acm.org/10.1145/137097.137115 journals/anthology/cd1-3:PODS92/P091.PDF journals/anthology/dvd1:text/1-3/PODS92/P091.PDF ... journals/jlp/BeeriNST91 ... conf/pods/GangulyGZ91 conf/iclp/GelfondL88 conf/slp/KempS91 conf/iclp/PrzymusinskaP88 ... conf/iclp/Przymusinski90 conf/dood/Przymusinski91 conf/pods/Ross90 ... ... conf/pods/SaccaZ90 conf/pods/Gelder89 conf/pods/Gelder92 journals/jacm/GelderRS91 conf/pods/YouY90