Bishoksan Kafle, John P. Gallagher. Convex polyhedral abstractions, specialisation and property-based predicate splitting in Horn clause verification. Proceedings First Workshop on Horn Clauses for Verification and Synthesis, HCVS 2014, Vienna, Austria, 17 July 2014, Vol. 169, pages 53–67, EPTCS, January 2014. HCVS, Vienna.