Department of Computer Science, University of Oxford: Publication - The Power of Beliefs or Translating Default Logic into Standard Autoepistemic Logic