R. Baumgartner, G. Gottlob: "Propositional Default Logics Made Easier: Computational Complexity of Model Checking"; Theoretical Computer Science, 289 (2002), 591 - 627.