APA (7th ed.) Citation

Ungar, A. M. (1992). Normalization, cut-elimination, and the theory of proofs. CSLI.

Chicago Style (17th ed.) Citation

Ungar, A. M. Normalization, Cut-elimination, and the Theory of Proofs. Stanford, CA: CSLI, 1992.

MLA (8th ed.) Citation

Ungar, A. M. Normalization, Cut-elimination, and the Theory of Proofs. CSLI, 1992.

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