APA (7th ed.) Citation

Pinto, L. F., & Dyckhoff, R. (1998). Cut-elimination and a permutation-free sequent calculus for intuitionistic logic.

Chicago Style (17th ed.) Citation

Pinto, Luís F., and Roy Dyckhoff. Cut-elimination and a Permutation-free Sequent Calculus for Intuitionistic Logic. 1998.

MLA (8th ed.) Citation

Pinto, Luís F., and Roy Dyckhoff. Cut-elimination and a Permutation-free Sequent Calculus for Intuitionistic Logic. 1998.

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