APA (7th ed.) Citation

Kimura, D., & Kakutani, Y. (2011). Classical Natural Deduction for S4 Modal Logic. New generation computing, 29(1), 61-86. https://doi.org/10.1007/s00354-010-0099-3

Chicago Style (17th ed.) Citation

Kimura, Daisuke, and Yoshihiko Kakutani. "Classical Natural Deduction for S4 Modal Logic." New Generation Computing 29, no. 1 (2011): 61-86. https://doi.org/10.1007/s00354-010-0099-3.

MLA (9th ed.) Citation

Kimura, Daisuke, and Yoshihiko Kakutani. "Classical Natural Deduction for S4 Modal Logic." New Generation Computing, vol. 29, no. 1, 2011, pp. 61-86, https://doi.org/10.1007/s00354-010-0099-3.