Edmund M. Clarke, Robert P. Kurshan, Helmut Veith. The Localization Reduction and Counterexample-Guided Abstraction Refinement. In Zohar Manna, Doron Peled, editors, Time for Verification, Essays in Memory of Amir Pnueli. Volume 6200 of Lecture Notes in Computer Science, pages 61-71, Springer, 2010. [doi]
Abstract is missing.