Expressive power and complexity of disjunctive datalog under the Stable Model Semantics

Reference:

T. Eiter, G. Gottlob, and Heikki Mannila. Expressive power and complexity of disjunctive datalog under the stable model semantics. In Management and Processing of Complex Data Structures – Proceedings of the Third Workshop on Information Systems and Artificial Intelligence, pages 83–103, 1994.

Suggested BibTeX entry:

@inproceedings{egm94,
    author = {T. Eiter and G. Gottlob and Heikki Mannila},
    booktitle = {Management and Processing of Complex Data Structures -- Proceedings of the Third Workshop on Information Systems and Artificial Intelligence},
    pages = {83-103},
    title = {Expressive power and complexity of disjunctive datalog under the Stable Model Semantics},
    year = {1994},
}