On Embedding Default Logic into Moore's Autoepistemic Logic.

Grigori Schwarz On Embedding Default Logic into Moore's Autoepistemic Logic. 349-359 1996 80 Artif. Intell. 1-2 db/journals/ai/ai80.html#Schwarz96 http://dx.doi.org/10.1016/0004-3702(95)00117-4