Finding conflicting instances of quantified formulas in SMT | IEEE Conference Publication | IEEE Xplore