First-order Non-monotonic Modal Logics. - Michael Kaminski; Guy Rey (Fundam. Informaticae, 2000)

Revisiting quantification in autoepistemic logic. - Michael Kaminski; Guy Rey (ACM Trans. Comput. Log., 2002)