Bishoksan Kafle, John P. Gallagher. Constraint Specialisation in Horn Clause Verification. In Kenichi Asai, Kostis Sagonas, editors, Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM, Mumbai, India, January 15-17, 2015. pages 85-90, ACM, 2015. [doi]