Paolo Liberatore Marco Schaerf The complexity of model checking for propositional default logics. 189-202 2005 55 Data Knowl. Eng. 2 http://dx.doi.org/10.1016/j.datak.2005.03.002 db/journals/dke/dke55.html#LiberatoreS05