APA (7th ed.) Citation

Afshari, B., Enqvist, S., & Leigh, G. E. (2025). Herbrand schemes for cyclic proofs. Journal of Logic & Computation, 35(4), 1. https://doi.org/10.1093/logcom/exaf013

Chicago Style (17th ed.) Citation

Afshari, Bahareh, Sebastian Enqvist, and Graham E. Leigh. "Herbrand Schemes for Cyclic Proofs." Journal of Logic & Computation 35, no. 4 (2025): 1. https://doi.org/10.1093/logcom/exaf013.

MLA (9th ed.) Citation

Afshari, Bahareh, et al. "Herbrand Schemes for Cyclic Proofs." Journal of Logic & Computation, vol. 35, no. 4, 2025, p. 1, https://doi.org/10.1093/logcom/exaf013.