TY  - RPRT
TI  - Interpolant Tree Automata and their Application in Horn Clause Verification
AU  - Bishoksan Kafle
AU  - John P. Gallagher
PY  - 2016
DO  - 10.4204/eptcs.216.6
UR  - https://arxiv.org/abs/1601.06521
ID  - 1601.06521
ER  -