Theorem Proving Support for Hardware Verification ,
Invited Talk Third Intl. Workshop on First-Order Theorem Proving, FTP 2000
St. Andrews, Scotland, July 2000.
Deepak Kapur

To view the entire paper click here