A Critical Reexamination of Default Logic, Autoepistemic Logic, and Only Knowing.

Joseph Y. Halpern A Critical Reexamination of Default Logic, Autoepistemic Logic, and Only Knowing. 43-60 1993 conf/kgc/1993 Kurt Gödel Colloquium db/conf/kgc/kgc93.html#Halpern93