APA (7th ed.) Citation

Pinto, L. F., & Dyckhoff, R. (1999). Permutability of proofs in intuitionistic sequent calculi.

Chicago Style (17th ed.) Citation

Pinto, Luís F., and Roy Dyckhoff. Permutability of Proofs in Intuitionistic Sequent Calculi. 1999.

MLA (8th ed.) Citation

Pinto, Luís F., and Roy Dyckhoff. Permutability of Proofs in Intuitionistic Sequent Calculi. 1999.

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