Automating recursive type definitions in higher order logic (1989)

by Thomas F Melham
Venue:In Current Trends in Hardware Verification and Automated Theorem Proving