EiterGM94'

BibTeX

@inproceedings{DBLP:conf/iski/EiterGM94,
  author    = {Thomas Eiter and
               Georg Gottlob and
               Heikki Mannila},
  title     = {Expressive Power and Complexity of Disjunctive Datalog under
               the Stable Model Semantics},
  booktitle = {IS/KI},
  year      = {1994},
  pages     = {83-103},
  ee        = {http://dx.doi.org/10.1007/3-540-57802-1_5},
  crossref  = {DBLP:conf/iski/1994},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/iski/1994,
  editor    = {Kai von Luck and
               Heinz Marburger},
  title     = {Management and Processing of Complex Data Structures, Third
               Workshop on Information Systems and Artificial Intelligence,
               Hamburg, Germany, February 28 - March 2, 1994, Proceedings},
  booktitle = {IS/KI},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {777},
  year      = {1994},
  isbn      = {3-540-57802-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}