BibTeX record conf/stoc/CosmadakisGKV88

download as .bib file

@inproceedings{DBLP:conf/stoc/CosmadakisGKV88,
  author    = {Stavros S. Cosmadakis and
               Haim Gaifman and
               Paris C. Kanellakis and
               Moshe Y. Vardi},
  title     = {Decidable Optimization Problems for Database Logic Programs (Preliminary
               Report)},
  booktitle = {Proceedings of the 20th Annual {ACM} Symposium on Theory of Computing,
               May 2-4, 1988, Chicago, Illinois, {USA}},
  pages     = {477--490},
  year      = {1988},
  crossref  = {DBLP:conf/stoc/STOC20},
  url       = {http://doi.acm.org/10.1145/62212.62259},
  doi       = {10.1145/62212.62259},
  timestamp = {Mon, 17 Oct 2011 17:25:06 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/stoc/CosmadakisGKV88},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/stoc/STOC20,
  editor    = {Janos Simon},
  title     = {Proceedings of the 20th Annual {ACM} Symposium on Theory of Computing,
               May 2-4, 1988, Chicago, Illinois, {USA}},
  publisher = {{ACM}},
  year      = {1988},
  isbn      = {0-89791-264-0},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/stoc/STOC20},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}