APA (7th ed.) Citation

Grotenhuis, L., & Otten, D. (2026). Unravelling Abstract Cyclic Proofs into Proofs by Induction.

Chicago Style (17th ed.) Citation

Grotenhuis, Lide, and Daniël Otten. Unravelling Abstract Cyclic Proofs into Proofs by Induction. 2026.

MLA (9th ed.) Citation

Grotenhuis, Lide, and Daniël Otten. Unravelling Abstract Cyclic Proofs into Proofs by Induction. 2026.

Warning: These citations may not always be 100% accurate.