Cecylia Rauszer Algebraic considerations of autoepistemic logic. 168-179 1991 15 Fundam. Inform. 2 db/journals/fuin/fuin15.html#Rauszer91a