APA (7th ed.) Citation

Kappelmann, K., Huch, F., Stevens, L., & Abdulaziz, M. (2025). Proof-Producing Translation of Functional Programs into a Time \& Space Reasonable Model.

Chicago Style (17th ed.) Citation

Kappelmann, Kevin, Fabian Huch, Lukas Stevens, and Mohammad Abdulaziz. Proof-Producing Translation of Functional Programs into a Time \& Space Reasonable Model. 2025.

MLA (9th ed.) Citation

Kappelmann, Kevin, et al. Proof-Producing Translation of Functional Programs into a Time \& Space Reasonable Model. 2025.