Eliminating Higher-Order Quantifiers to Obtain Decision Procedures for Hardware Verification

Cached

Download Links

by Klaus Schneider , Ramayya Kumar , Thomas Kropf