The Complexity of Model Checking for Propositional Default Logics.

Paolo Liberatore Marco Schaerf The Complexity of Model Checking for Propositional Default Logics. 18-22 1998 ECAI db/conf/ecai/ecai98.html#LiberatoreS98