APA (7th ed.) Citation

Logan, S. A., & Worley, B. (2024). Hyperformalism for Bunched Natural Deduction Systems.

Chicago Style (17th ed.) Citation

Logan, Shay Allen, and Blane Worley. Hyperformalism for Bunched Natural Deduction Systems. 2024.

MLA (9th ed.) Citation

Logan, Shay Allen, and Blane Worley. Hyperformalism for Bunched Natural Deduction Systems. 2024.

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