@article {Amati&:SL94,
   AUTHOR = {Amati, Giambattista and Pirri, Fiora},
   TITLE = {A uniform tableau method for intuitionistic modal logics. {I}},
   JOURNAL = {Studia Logica},
   FJOURNAL = {Studia Logica. An International Journal for Symbolic Logic},
   VOLUME = {53},
   YEAR = {1994},
   NUMBER = {1},
   PAGES = {29--60},
   ISSN = {0039-3215},
}