Automating Recursive Type Definitions in Higher Order Logic (1988)

by Thomas Melham
Venue:Current Trends in Hardware Verification and Automated Theorem Proving
Citations:77 - 6 self