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