BibTeX record conf/pods/BeeriRSS92

download as .bib file

@inproceedings{DBLP:conf/pods/BeeriRSS92,
  author    = {Catriel Beeri and
               Raghu Ramakrishnan and
               Divesh Srivastava and
               S. Sudarshan},
  title     = {The Valid Model Semantics for Logic Programs},
  booktitle = {{PODS}},
  pages     = {91--104},
  publisher = {{ACM} Press},
  year      = {1992}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics