Fei He Xiaoyu Song Ming Gu Jia-Guang Sun Heuristic-Guided Abstraction Refinement. 280-287 2009 52 Comput. J. 3 http://dx.doi.org/10.1093/comjnl/bxm085 db/journals/cj/cj52.html#HeSGS09