APA (7th ed.) Citation

Hudelmaier, J. (1989). Bounds for cut elimination in intuitionistic propositional logic.

Chicago Style (17th ed.) Citation

Hudelmaier, Jörg. Bounds for Cut Elimination in Intuitionistic Propositional Logic. 1989.

MLA (9th ed.) Citation

Hudelmaier, Jörg. Bounds for Cut Elimination in Intuitionistic Propositional Logic. 1989.

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