"Combining Abstraction Refinement and SAT-Based Model Checking."

Nina Amla, Kenneth L. McMillan (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics