APA (7th ed.) Citation

Baaz, M., & Lolic, A. (2024). Epsilon Calculus Provides Shorter Cut-Free Proofs.

Chicago Style (17th ed.) Citation

Baaz, Matthias, and Anela Lolic. Epsilon Calculus Provides Shorter Cut-Free Proofs. 2024.

MLA (9th ed.) Citation

Baaz, Matthias, and Anela Lolic. Epsilon Calculus Provides Shorter Cut-Free Proofs. 2024.

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