Extracting circuits from constructive proofs (1991)

by David A Basin
Venue:In 1991 International Workshop on Formal Veri cation in VLSI Design. ACM IFIP WG 10.2