APA (7th ed.) Citation

Hori, H., Nakazawa, K., & Tatsuta, M. (2023). Cut elimination for propositional cyclic proof systems with fixed-point operators.

Chicago Style (17th ed.) Citation

Hori, Hiromasa, Koji Nakazawa, and Makoto Tatsuta. Cut Elimination for Propositional Cyclic Proof Systems with Fixed-point Operators. 2023.

MLA (9th ed.) Citation

Hori, Hiromasa, et al. Cut Elimination for Propositional Cyclic Proof Systems with Fixed-point Operators. 2023.