A Refinement Method for Validity Checking of Quantified First-Order Formulas in Hardware Verification | IEEE Conference Publication | IEEE Xplore