Henry A. Kautz Bart Selman Hard Problems for Simple Default Logics. 243-279 1991 49 Artif. Intell. 1-3 db/journals/ai/ai49.html#KautzS91