Propositional default logics made easier: computational complexity of model checking
Robert Baumgartner and Georg Gottlob
Journal
Theor. Comput. Sci.
Number
1
Pages
591−627
Volume
289
Year
2002
Robert Baumgartner and Georg Gottlob