Anubhav Gupta, Edmund M. Clarke. Reconsidering CEGAR: Learning Good Abstractions without Refinement. In 23rd International Conference on Computer Design (ICCD 2005), 2-5 October 2005, San Jose, CA, USA. pages 591-598, IEEE Computer Society, 2005. [doi]
Abstract is missing.