@article {Amati&97:SL-IAL,
   AUTHOR = {Amati, Giambattista and Carlucci-Aiello, Luigia and Pirri,
            Fiora},
   TITLE = {Intuitionistic autoepistemic logic},
   JOURNAL = {Studia Logica},
   FJOURNAL = {Studia Logica. An International Journal for Symbolic Logic},
   VOLUME = {59},
   YEAR = {1997},
   NUMBER = {1},
   PAGES = {103--120},
   ISSN = {0039-3215},
}