Robert C. Moore Autoepistemic Logic Revisited. 27-30 1993 59 Artif. Intell. 1-2 db/journals/ai/ai59.html#Moore93