Citação norma APA

Pinto, L. F., & Dyckhoff, R. (1999). Proof search in constructive logics.

Citação norma Chicago

Pinto, Luís F., and Roy Dyckhoff. Proof Search in Constructive Logics. 1999.

Citação norma MLA

Pinto, Luís F., and Roy Dyckhoff. Proof Search in Constructive Logics. 1999.

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