@article{journals/logcom/Gottlob92, title = "Complexity Results for Nonmonotonic Logics", author = "Georg Gottlob", year = "1992", journal = "J. Log. Comput.", number = "3", pages = "397-425", volume = "2", }