Thomas Eiter, Georg Gottlob, Heikki Mannila. Expressive Power and Complexity of Disjunctive Datalog under the Stable Model Semantics. In Kai von Luck, Heinz Marburger, editors, Management and Processing of Complex Data Structures, Third Workshop on Information Systems and Artificial Intelligence, Hamburg, Germany, February 28 - March 2, 1994, Proceedings. Volume 777 of Lecture Notes in Computer Science, pages 83-103, Springer, 1994.
Abstract is missing.