Expressive Power and Complexity of Disjunctive Datalog under the Stable Model Semantics

Bibliographic Details
Main Authors: Eiter, T, Gottlob, G, Mannila, H
Format: Conference item
Published: Springer 1994