Automating Recursive Type Definitions in Higher Order Logic
Thomas F. Melham
Book Title
Current Trends in Hardware Verification and Automated Theorem Proving
Editor
G. Birtwistle and P. A. Subrahmanyam
ISBN
3−540−96988−8
Pages
341–386
Publisher
Springer−Verlag
Year
1989