Gianni Amati Luigia Carlucci Aiello Fiora Pirri Intuitionistic Autoepistemic Logic. 103-120 1997 59 Studia Logica 1 db/journals/sLogica/sLogica59.html#AmatiAP97