Bishoksan Kafle, John P. Gallagher. Interpolant tree automata and their application in Horn clause verification. CoRR, February 2016. submitted to a workshop.