@misc{indiciae778e4f025b60,
  title = {Decomposition by tree dimension in Horn clause verification},
  author = {Bishoksan Kafle and John P. Gallagher and Pierre Ganty},
  year = {2015},
  doi = {10.4204/eptcs.199.1},
  url = {https://arxiv.org/abs/1512.03862},
  note = {Source identifier: 1512.03862}
}