Grigori Schwarz Reflexive Autoepistemic logic. 157-173 1992 17 Fundam. Inform. 1-2 db/journals/fuin/fuin17.html#Schwarz92