@inproceedings{conf/iski/EiterGM94,
  title = "Expressive Power and Complexity of Disjunctive Datalog under the Stable Model Semantics",
  author = "Thomas Eiter and Georg Gottlob and Heikki Mannila",
  year = "1994",
  booktitle = "{Management and Processing of Complex Data Structures, Third Workshop on Information Systems and Artificial Intelligence, Hamburg, Germany, February 28 - March 2, 1994, Proceedings}",
  editor = "Kai von Luck and Heinz Marburger",
  isbn = "3-540-57802-1",
  pages = "83-103",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "777",
}