%0 Journal Article
%T Trace Abstraction Refinement for Solving Horn Clauses
%A Wang, Weifeng
%A Jiao, Li
%J The Computer Journal
%V 59
%N 8
%P 1236-1251
%@ 0010-4620
%D 2016-08-22
%I Oxford University Press
%~ DeepDyve