John P. Gallagher, Bishoksan Kafle. Analysis and Transformation Tools for Constrained Horn Clause Verification. Theory and Practice of Logic Programming, Vol. 14, Num. 4-5 (supplementary materials), pages 90–101, Cambridge University Press, June 2014. ICLP, Vienna.