Basin, D. A. (1991). Extracting circuits from constructive proofs.
Chicago Style (17th ed.) CitationBasin, David A. Extracting Circuits from Constructive Proofs. Edinburgh, 1991.
MLA (9th ed.) CitationBasin, David A. Extracting Circuits from Constructive Proofs. 1991.
Warning: These citations may not always be 100% accurate.