Translating Default Logic into Standard Autoepistemic Logic - Gottlob, G (1995)