APA (7th ed.) Citation

Baaz, M., & Leitsch, A. (2011). Methods of cut-elimination. Springer. https://doi.org/10.1007/978-94-007-0320-9

Chicago Style (17th ed.) Citation

Baaz, Matthias, and Alexander Leitsch. Methods of Cut-elimination. Dordrecht ; Heidelberg ; New York: Springer, 2011. https://doi.org/10.1007/978-94-007-0320-9.

MLA (9th ed.) Citation

Baaz, Matthias, and Alexander Leitsch. Methods of Cut-elimination. Springer, 2011. https://doi.org/10.1007/978-94-007-0320-9.