Linking BDD-based symbolic evaluation to interactive theorem-proving (1993)

by Jeffrey Joyce, Carl-Johan Seger
Venue:In Proc. of the 30 th ACM/IEEE Design Automation Conference