Baaz, M., & Leitsch, A. (1999). Cut normal forms and proof complexity. Annals of Pure and Applied Logic, 97, 127-177. https://doi.org/10.1016/s0168-0072(98)00026-8
Citace podle Chicago (17th ed.)Baaz, Matthias, a Alexander Leitsch. "Cut Normal Forms and Proof Complexity." Annals of Pure and Applied Logic 97 (1999): 127-177. https://doi.org/10.1016/s0168-0072(98)00026-8.
Citace podle MLA (9th ed.)Baaz, Matthias, a Alexander Leitsch. "Cut Normal Forms and Proof Complexity." Annals of Pure and Applied Logic, vol. 97, 1999, pp. 127-177, https://doi.org/10.1016/s0168-0072(98)00026-8.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..