Galatos, Nikolaos and Terui, Kazushige. 2022. Hiroakira Ono on Substructural Logics. Outstanding Contributions to Logic. Berlin: Springer, doi:10.1007/978-3-030-76920-8.
Okada, Mitsuhiro and Terui, Kazushige. 1999. “The Finite Model Property for Various Fragments of Intuitionistic Linear Logic.”The Journal of Symbolic Logic 64(2): 790–802.