DBLP Record 'conf/stoc/CosmadakisGKV88'

BibTeX

@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 = {STOC},
  year      = {1988},
  pages     = {477-490},
  crossref  = {DBLP:conf/stoc/STOC20},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/stoc/STOC20,
  title     = {Proceedings of the Twentieth Annual ACM Symposium on Theory
               of Computing, 2-4 May 1988, Chicago, Illinois, USA},
  booktitle = {STOC},
  publisher = {ACM},
  year      = {1988},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}