Marco Cadoli Marco Schaerf A Survey of Complexity Results for Nonmonotonic Logics. 127-160 1993 17 J. Log. Program. 2/3&4 db/journals/jlp/jlp17.html#CadoliS93