Georg Gottlob Complexity Results for Nonmonotonic Logics. 397-425 1992 2 J. Log. Comput. 3 db/journals/logcom/logcom2.html#Gottlob92