APA (7th ed.) Citation

Miranda, B. S., Studer, T., & Zenger, L. (2025). Coalgebraic proof translations for non-wellfounded proofs.

Chicago Style (17th ed.) Citation

Miranda, Borja Sierra, Thomas Studer, and Lukas Zenger. Coalgebraic Proof Translations for Non-wellfounded Proofs. 2025.

MLA (9th ed.) Citation

Miranda, Borja Sierra, et al. Coalgebraic Proof Translations for Non-wellfounded Proofs. 2025.