Cecylia Rauszer Algebraic considerations of autoepistemic logic. 175-186 1992 17 Fundam. Inform. 3 db/journals/fuin/fuin17.html#Rauszer92a