APA (7th ed.) Citation

Basin, D. A. (1991). Extracting circuits from constructive proofs.

Chicago Style (17th ed.) Citation

Basin, David A. Extracting Circuits from Constructive Proofs. Edinburgh, 1991.

MLA (9th ed.) Citation

Basin, David A. Extracting Circuits from Constructive Proofs. 1991.

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