Propositional default logics made easier: computational complexity of model checking.
scientific article; zbMATH DE number 1857081