Xishun Zhao Decheng Ding Hans Kleine Büning Complexity Results for Restricted Credulous Default Reasoning. 249-258 2000 13 AI Commun. 4 db/journals/aicom/aicom13.html#ZhaoDB00 http://iospress.metapress.com/content/1q2k1f1e3lmjgnww/