Bishoksan Kafle, John P. Gallagher. Horn clause verification with convex polyhedral abstraction and tree automata-based refinement. Computer Languages, Systems & Structures, Pergamon, November 2015. to appear.