@article{CTT100417373,
  author = {RYO KASHIMA},
  title = {Cut-Free Sequent Calculi for Some Tense Logics},
  journal = {Studia Logica},
  year = 1994,
}

@article{CTT100417374,
  author = {Ryo Kashima and Tatsuya Shimura},
  title = {Cut-Elimination Theorem for the Logic of Constant Domains},
  journal = {Mathematical Logic Quarterly},
  year = 1994,
}