APA (7th ed.) Citation

Afshari, B., Enqvist, S., & Leigh, G. E. (2024). Cyclic proofs for the first-order µ-calculus. Logic journal of the IGPL, 32(1), 1-34. https://doi.org/10.1093/jigpal/jzac053

Chicago Style (17th ed.) Citation

Afshari, Bahareh, Sebastian Enqvist, and Graham E. Leigh. "Cyclic Proofs for the First-order µ-calculus." Logic Journal of the IGPL 32, no. 1 (2024): 1-34. https://doi.org/10.1093/jigpal/jzac053.

MLA (9th ed.) Citation

Afshari, Bahareh, et al. "Cyclic Proofs for the First-order µ-calculus." Logic Journal of the IGPL, vol. 32, no. 1, 2024, pp. 1-34, https://doi.org/10.1093/jigpal/jzac053.