The Power of Beliefs or Translating Default Logic into Standard Autoepistemic Logic.

Georg Gottlob The Power of Beliefs or Translating Default Logic into Standard Autoepistemic Logic. 133-144 1992 conf/ecai/1992w1 ECAI Workshop on Knowledge Representation and Reasoning db/conf/ecai/ecai1992w1.html#Gottlob92