Bishoksan Kafle, John P. Gallagher, Pierre Ganty. Decomposition by tree dimension in Horn clause verification. Proc. of the 3rd International Workshop on Verification and Program Transformation (VPT’2015), EPTCS, Vol. 199, pages 1–14, 2015. arXiv:1512.03862.