The following publications are possibly variants of this publication:
- Counterexample-Guided Abstraction RefinementEdmund M. Clarke. time 2003: 7 [doi]
- Counterexample-Guided Abstraction RefinementEdmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith. cav 2000: 154-169
- VCEGAR: Verilog CounterExample Guided Abstraction RefinementHimanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke. TACAS 2007: 583-586 [doi]
- Counterexample Guided Abstraction Refinement Via Program ExecutionDaniel Kroening, Alex Groce, Edmund M. Clarke. icfem 2004: 224-238 [doi]
- SAT-Based Counterexample Guided Abstraction RefinementEdmund M. Clarke. spin 2002: 1 [doi]
- SAT-based counterexample-guided abstraction refinementEdmund M. Clarke, Anubhav Gupta, Ofer Strichman. tcad, 23(7):1113-1123, 2004. [doi]