APA (7th ed.) Citation

Enea, C., Farzan, A., & Klumpp, D. (2026). On the Complexity of Checking Soundness of Natural Reductions (Extended Version).

Chicago Style (17th ed.) Citation

Enea, Constantin, Azadeh Farzan, and Dominik Klumpp. On the Complexity of Checking Soundness of Natural Reductions (Extended Version). 2026.

MLA (9th ed.) Citation

Enea, Constantin, et al. On the Complexity of Checking Soundness of Natural Reductions (Extended Version). 2026.