Checking Satis of First-Order Formulas by Incremental Translation to SAT (2002)

by C W Barrett, D L Dill, A Stump
Venue:Proc. ComputerAided Veri (CAV'02), LNCS 2404