Citazione Stile APA (7a Edizione)

Oda, Y., Brotherston, J., & Tatsuta, M. (2021). The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions.

Citazione stile Chigago Style (17a edizione)

Oda, Yukihiro, James Brotherston, e Makoto Tatsuta. The Failure of Cut-elimination in Cyclic Proof for First-order Logic with Inductive Definitions. 2021.

Citatione MLA (9a ed.)

Oda, Yukihiro, et al. The Failure of Cut-elimination in Cyclic Proof for First-order Logic with Inductive Definitions. 2021.