@book{CTT100575806,
  author = {Ryo Kashima},
  title = {C言語による計算の理論},
  publisher = {サイエンス社},
  year = 2008,
}

@article{CTT100575808,
  author = {Ryo Kashima and Keishi Okamoto},
  title = {General models and completeness of first-order modal mu-calculus},
  journal = {Journal of Logic and Computation},
  year = 2008,
}

@article{CTT100575807,
  author = {Ryo Ishigaki and Ryo Kashima},
  title = {Sequent calculi for some strict implication logics},
  journal = {Logic Journal of the IGPL},
  year = 2008,
}