Citação norma APA

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

Citação norma Chicago

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

Citação norma MLA

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

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.