Horn clause verification with convex polyhedral abstraction and tree automata-based refinement

@article{Kafle2017HornCV,
  title={Horn clause verification with convex polyhedral abstraction and tree automata-based refinement},
  author={Bishoksan Kafle and John P. Gallagher},
  journal={Computer Languages, Systems & Structures},
  year={2017},
  volume={47},
  pages={2-18}
}