APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (8th ed.) Citation

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

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